diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/server.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/server.c b/src/server/server.c index dd40804..c7cafb7 100644 --- a/src/server/server.c +++ b/src/server/server.c @@ -762,6 +762,8 @@ COMMAND_HANDLER(handle_shutdown_command) shutdown_openocd = SHUTDOWN_REQUESTED; + command_run_line(CMD_CTX, "_run_pre_shutdown_commands"); + if (CMD_ARGC == 1) { if (!strcmp(CMD_ARGV[0], "error")) { shutdown_openocd = SHUTDOWN_WITH_ERROR_CODE; |