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