ipdbg: fix double free of virtual-ir data

[openocd.git] / src / server / server.c

diff --git a/src/server/server.c b/src/server/server.c
index 6542200d2f04e49bbc2319c46216adf8b05d8c11..0649ec942b03fddc9353e225d03755d2b0517c3a 100644 (file)
--- a/src/server/server.c
+++ b/src/server/server.c
@@ -1,4 +1,4 @@
-/* SPDX-License-Identifier: GPL-2.0-or-later */
+// SPDX-License-Identifier: GPL-2.0-or-later
 
 /***************************************************************************
  *   Copyright (C) 2005 by Dominic Rath                                    *
@@ -23,6 +23,7 @@
 #include "openocd.h"
 #include "tcl_server.h"
 #include "telnet_server.h"
+#include "ipdbg.h"
 
 #include <signal.h>
 
@@ -714,6 +715,7 @@ void server_free(void)
        tcl_service_free();
        telnet_service_free();
        jsp_service_free();
+       ipdbg_server_free();
 
        free(bindto_name);
 }
@@ -747,6 +749,11 @@ int connection_read(struct connection *connection, void *data, int len)
                return read(connection->fd, data, len);
 }
 
+bool openocd_is_shutdown_pending(void)
+{
+       return shutdown_openocd != CONTINUE_MAIN_LOOP;
+}
+
 /* tell the server we want to shut down */
 COMMAND_HANDLER(handle_shutdown_command)
 {