diff options
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() |