diff options
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) { |