]> git.sur5r.net Git - openocd/blobdiff - src/server/tcl_server.h
server: free strduped port numbers
[openocd] / src / server / tcl_server.h
index 422c794eec721ec700f2e98c06836bcd5d29a3ab..6ce3ab95fe42a7198db84847423f659b87b527cc 100644 (file)
@@ -22,5 +22,6 @@
 
 int tcl_init(void);
 int tcl_register_commands(struct command_context *cmd_ctx);
+void tcl_service_free(void);
 
 #endif /* OPENOCD_SERVER_TCL_SERVER_H */