diff options
Diffstat (limited to 'gdb/gdbserver/win32-low.c')
| -rw-r--r-- | gdb/gdbserver/win32-low.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gdb/gdbserver/win32-low.c b/gdb/gdbserver/win32-low.c index ea5de4c..dfdb883 100644 --- a/gdb/gdbserver/win32-low.c +++ b/gdb/gdbserver/win32-low.c @@ -763,6 +763,12 @@ win32_detach (int pid) return 0; } +static void +win32_mourn (struct process_info *process) +{ + remove_process (process); +} + /* Wait for inferiors to end. */ static void win32_join (int pid) @@ -1752,7 +1758,7 @@ static struct target_ops win32_target_ops = { win32_attach, win32_kill, win32_detach, - NULL, + win32_mourn, win32_join, win32_thread_alive, win32_resume, |