diff --git a/src/server/server.c b/src/server/server.c index 6542200d2..43540d6d3 100644 --- a/src/server/server.c +++ b/src/server/server.c @@ -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) { diff --git a/src/server/server.h b/src/server/server.h index f09988a8a..c9d4698af 100644 --- 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.