* win32-low.c (get_child_debug_event): Issue a final DBG_CONTINUE

	when handling a EXIT_PROCESS_DEBUG_EVENT.

diff --git a/gdb/gdbserver/ChangeLog b/gdb/gdbserver/ChangeLog
index b745986..53030d9 100644 (file)
--- a/gdb/gdbserver/ChangeLog
+++ b/gdb/gdbserver/ChangeLog
@@ -1,3 +1,8 @@
+2009-01-14  Pedro Alves  <pedro@codesourcery.com>
+
+       * win32-low.c (get_child_debug_event): Issue a final DBG_CONTINUE
+       when handling a EXIT_PROCESS_DEBUG_EVENT.
+
 2009-01-06  Joel Brobecker  <brobecker@adacore.com>
 
        * gdbreplay.c (gdbreplay_version): Update copyright year.

diff --git a/gdb/gdbserver/win32-low.c b/gdb/gdbserver/win32-low.c
index 182a1f1..5d53e0c 100644 (file)
--- a/gdb/gdbserver/win32-low.c
+++ b/gdb/gdbserver/win32-low.c
@@ -1453,6 +1453,7 @@ get_child_debug_event (struct target_waitstatus *ourstatus)
                (unsigned) current_event.dwThreadId));
       ourstatus->kind = TARGET_WAITKIND_EXITED;
       ourstatus->value.integer = current_event.u.ExitProcess.dwExitCode;
+      child_continue (DBG_CONTINUE, -1);
       CloseHandle (current_process_handle);
       current_process_handle = NULL;
       break;