From 7a4abbb9eb841c31e05c607e889a6517f3c79a8f Mon Sep 17 00:00:00 2001
From: David Phillips <david@yeah.nah.nz>
Date: Sat, 13 Mar 2021 21:14:21 +1300
Subject: ui_remote: explicitly exit GDB on script exit
---
ui_remote.py | 2 ++
1 file changed, 2 insertions(+)
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()
--
cgit v1.1