diff options
author | Pedro Alves <palves@redhat.com> | 2009-03-31 22:46:36 +0000 |
---|---|---|
committer | Pedro Alves <palves@redhat.com> | 2009-03-31 22:46:36 +0000 |
commit | 0a59d50b2d100f6c9211d1e4e5cf173c910af09d (patch) | |
tree | d452fba2ff4259e7116d9467ce9e56ffaa8b318c /gdb/gdbserver/server.c | |
parent | 1b88d5c487d0f28d15eb9d61dc752cfb1b609125 (diff) | |
download | gdb-0a59d50b2d100f6c9211d1e4e5cf173c910af09d.zip gdb-0a59d50b2d100f6c9211d1e4e5cf173c910af09d.tar.gz gdb-0a59d50b2d100f6c9211d1e4e5cf173c910af09d.tar.bz2 |
* server.c (main): After the inferior having exited, call
remote_close before exiting gdbserver.
Diffstat (limited to 'gdb/gdbserver/server.c')
-rw-r--r-- | gdb/gdbserver/server.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/gdbserver/server.c b/gdb/gdbserver/server.c index 21fbc37..aef6be7 100644 --- a/gdb/gdbserver/server.c +++ b/gdb/gdbserver/server.c @@ -1959,6 +1959,7 @@ main (int argc, char *argv[]) else { fprintf (stderr, "GDBserver exiting\n"); + remote_close (); exit (0); } } |