X-Git-Url: https://git.gag.com/?a=blobdiff_plain;ds=sidebyside;f=src%2Fserver%2Fserver.h;h=c9d4698af8094e80f5cb2ac8f728ccb1527bfe1b;hb=7fcbac1bdf5848fb5f80545126ca61473dc59721;hp=f09988a8a0be641336005e43292fd2c80af06aa4;hpb=bea4d6590356f4a9ef0bcb6b270943e565852f0e;p=fw%2Fopenocd

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.