server: add function to get openocd shutdown status

[fw/openocd] / src / server / server.h

diff --git a/src/server/server.h b/src/server/server.h
index f09988a8a0be641336005e43292fd2c80af06aa4..c9d4698af8094e80f5cb2ac8f728ccb1527bfe1b 100644 (file)
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -104,6 +104,8 @@ int server_register_commands(struct command_context *context);
 int connection_write(struct connection *connection, const void *data, int len);
 int connection_read(struct connection *connection, void *data, int len);
 
+bool openocd_is_shutdown_pending(void);
+
 /**
  * Defines an extended command handler function declaration to enable
  * access to (and manipulation of) the server port number.