diff options
author | David Phillips <david@yeah.nah.nz> | 2021-03-13 21:14:21 +1300 |
---|---|---|
committer | David Phillips <david@yeah.nah.nz> | 2021-03-13 21:14:21 +1300 |
commit | 7a4abbb9eb841c31e05c607e889a6517f3c79a8f (patch) | |
tree | 4ea396a4dc7250126f0f3c24c86c8ebb60025997 /ui_remote.py | |
parent | 06eaf109f0b59a4faa0a911d6daacf3b416f584c (diff) | |
download | altimeter-7a4abbb9eb841c31e05c607e889a6517f3c79a8f.tar.xz |
ui_remote: explicitly exit GDB on script exit
Diffstat (limited to 'ui_remote.py')
-rwxr-xr-x | ui_remote.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ui_remote.py b/ui_remote.py index a13a5e0..a04f3f0 100755 --- a/ui_remote.py +++ b/ui_remote.py @@ -36,6 +36,8 @@ def command_consumer(quit_event, command_queue, gdbmi): except queue.Empty: gdbmi.write('continue &') + gdbmi.exit() + def curses_init(): stdscr = curses.initscr() |