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

["dje at google dot com" <sourceware-bugzilla at sourceware dot org>]

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

            Bug ID: 15746
           Summary: "monitor exit", then "quit" leaves gdb still running
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: server
          Assignee: unassigned at sourceware dot org
          Reporter: dje at google dot com

bash1$ gdbserver --multi :1234 hello

bash2$ gdb hello
(gdb) b main
(gdb) c
(gdb) monitor exit
(gdb) quit
A debugging session is active.

        Inferior 1 [process 11749] will be killed.

Quit anyway? (y or n) y
Remote connection closed
(gdb) pwd
Working directory /tmp.
(gdb) q
bash2$

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