aboutsummaryrefslogtreecommitdiff
path: root/ui_remote.py
diff options
context:
space:
mode:
authorDavid Phillips <david@yeah.nah.nz>2021-03-13 21:14:21 +1300
committerDavid Phillips <david@yeah.nah.nz>2021-03-13 21:14:21 +1300
commit7a4abbb9eb841c31e05c607e889a6517f3c79a8f (patch)
tree4ea396a4dc7250126f0f3c24c86c8ebb60025997 /ui_remote.py
parent06eaf109f0b59a4faa0a911d6daacf3b416f584c (diff)
downloadaltimeter-7a4abbb9eb841c31e05c607e889a6517f3c79a8f.tar.xz
ui_remote: explicitly exit GDB on script exit
Diffstat (limited to 'ui_remote.py')
-rwxr-xr-xui_remote.py2
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()