diff options
Diffstat (limited to 'src/openocd.c')
| -rw-r--r-- | src/openocd.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/openocd.c b/src/openocd.c index 449736e1..946cd93c 100644 --- a/src/openocd.c +++ b/src/openocd.c @@ -225,6 +225,8 @@ int main(int argc, char *argv[]) /* shut server down */ server_quit(); + unregister_all_commands(cmd_ctx); + /* free commandline interface */ command_done(cmd_ctx); |