server: free strduped port numbers

[openocd] / src / server / server.c

diff --git a/src/server/server.c b/src/server/server.c
index 6fa864bbc67eb8ec5222f044e20245c758d8bc4f..8fd2d71d4fc52247a3bc7a83a2a5ceb4fec62876 100644 (file)
--- a/src/server/server.c
+++ b/src/server/server.c
@@ -641,6 +641,13 @@ int server_quit(void)
        return last_signal;
 }
 
+void server_free(void)
+{
+       tcl_service_free();
+       telnet_service_free();
+       jsp_service_free();
+}
+
 void exit_on_signal(int sig)
 {
 #ifndef _WIN32