server: add function to get openocd shutdown status
[fw/openocd] / src / server / server.c
index 6542200d2f04e49bbc2319c46216adf8b05d8c11..43540d6d3492bb1a92efc4a15a03a331d85fae77 100644 (file)
@@ -747,6 +747,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)
 {