server: free strduped port numbers

[openocd] / src / server / server.h

diff --git a/src/server/server.h b/src/server/server.h
index 8c80626759eb199a17aeedaf27cb7926b58061ed..d4eae942403ca7187fc910e90ae33d2380a5f983 100644 (file)
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -82,6 +82,7 @@ int add_service(char *name, const char *port,
 int server_preinit(void);
 int server_init(struct command_context *cmd_ctx);
 int server_quit(void);
+void server_free(void);
 void exit_on_signal(int);
 
 int server_loop(struct command_context *command_context);