X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fserver%2Fserver.h;fp=src%2Fserver%2Fserver.h;h=d4eae942403ca7187fc910e90ae33d2380a5f983;hp=8c80626759eb199a17aeedaf27cb7926b58061ed;hb=33a33553046bc720800f410adbc81bc2fb175e74;hpb=ae5b30ae960b35187751e9d837d5dc42745d2376

diff --git a/src/server/server.h b/src/server/server.h
index 8c80626759..d4eae94240 100644
--- 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);