[Bug server/15746] "monitor exit", then "quit" leaves gdb still running

["vries at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=15746

--- Comment #4 from Tom de Vries <vries at gcc dot gnu.org> ---
This fixes it:
...
diff --git a/gdb/cli/cli-cmds.c b/gdb/cli/cli-cmds.c
index fe4041662ef..6a2afb69b54 100644
--- a/gdb/cli/cli-cmds.c
+++ b/gdb/cli/cli-cmds.c
@@ -488,7 +488,18 @@ quit_command (const char *args, int from_tty)
   if (!quit_confirm ())
     error (_("Not confirmed."));

-  query_if_trace_running (from_tty);
+  try
+    {
+      query_if_trace_running (from_tty);
+    }
+  catch (const gdb_exception_error &ex)
+    {
+      exception_print (gdb_stderr, ex);
+    }
+  catch (const gdb_exception_quit &)
+    {
+      /* A quit event happens while we're quitting?  Keep quitting.  */
+    }

   quit_force (args ? &exit_code : NULL, from_tty);
 }
...

Now we have:
...
Quit anyway? (y or n) y
Remote connection closed
$ 
...

-- 
You are receiving this mail because:
You are on the CC list for the bug.