diff options
author | Pedro Alves <palves@redhat.com> | 2010-04-12 17:39:42 +0000 |
---|---|---|
committer | Pedro Alves <palves@redhat.com> | 2010-04-12 17:39:42 +0000 |
commit | 505106cdc7c816a44bbfee11daf500f4e5e14072 (patch) | |
tree | 3d597594a2631f14b55ffe8e38f0b0125b785dd6 /gdb/gdbserver/server.c | |
parent | 58f03a4028987eef6b222b41d49e1f5781510b7c (diff) | |
download | gdb-505106cdc7c816a44bbfee11daf500f4e5e14072.zip gdb-505106cdc7c816a44bbfee11daf500f4e5e14072.tar.gz gdb-505106cdc7c816a44bbfee11daf500f4e5e14072.tar.bz2 |
gdb/gdbserver/
* linux-low.c (linux_mourn): Also remove the process.
* server.c (handle_target_event): Don't remove the process here.
* nto-low.c (nto_mourn): New.
(nto_target_ops): Install it.
* spu-low.c (spu_mourn): New.
(spu_target_ops): Install it.
* win32-low.c (win32_mourn): New.
(win32_target_ops): Install it.
Diffstat (limited to 'gdb/gdbserver/server.c')
-rw-r--r-- | gdb/gdbserver/server.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gdb/gdbserver/server.c b/gdb/gdbserver/server.c index 8666bcd..423a993 100644 --- a/gdb/gdbserver/server.c +++ b/gdb/gdbserver/server.c @@ -2999,10 +2999,7 @@ handle_target_event (int err, gdb_client_data client_data) if (last_status.kind == TARGET_WAITKIND_EXITED || last_status.kind == TARGET_WAITKIND_SIGNALLED) - { - mourn_inferior (process); - remove_process (process); - } + mourn_inferior (process); if (forward_event) { |