diff options
Diffstat (limited to 'gdb/python')
| -rw-r--r-- | gdb/python/lib/gdb/dap/server.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/python/lib/gdb/dap/server.py b/gdb/python/lib/gdb/dap/server.py index 6757f29..19840f4 100644 --- a/gdb/python/lib/gdb/dap/server.py +++ b/gdb/python/lib/gdb/dap/server.py @@ -230,6 +230,7 @@ class Server: # responses are flushed to the client before exiting. self.write_queue.put(None) json_writer.join() + send_gdb("quit") @in_dap_thread def send_event_later(self, event, body=None): |