From d8a89c475035a2d222504edfe68741c5d4d31ef0 Mon Sep 17 00:00:00 2001
From: Jordan Bancino <jordan@bancino.net>
Date: Wed, 24 Aug 2022 19:36:29 -0400
Subject: [PATCH] Free server when we're done with it.

This frees up a lot of memory, and closes the server socket so that the
operating system doesn't have to do it, because the operating system may
take a while to actually close the socket.
---
 src/Telodendria.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Telodendria.c b/src/Telodendria.c
index 457bd60..5d1b158 100644
--- a/src/Telodendria.c
+++ b/src/Telodendria.c
@@ -380,6 +380,7 @@ main(int argc, char **argv)
     /* Block this thread until the server is terminated by a signal
      * handler */
     HttpServerJoin(httpServer);
+    HttpServerFree(httpServer);
 
 finish:
     Log(lc, LOG_TASK, "Shutting down...");