diff options
| -rw-r--r-- | src/server/server.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/server/server.c b/src/server/server.c index f762704d..173beb86 100644 --- a/src/server/server.c +++ b/src/server/server.c @@ -563,9 +563,11 @@ int server_quit(void) /* tell the server we want to shut down */ COMMAND_HANDLER(handle_shutdown_command) { + LOG_USER("shutdown command invoked"); + shutdown_openocd = 1; - return ERROR_COMMAND_CLOSE_CONNECTION; + return ERROR_OK; } static const struct command_registration server_command_handlers[] = { |