* win32-low.c (get_child_debug_event): Issue a final DBG_CONTINUE
authorPedro Alves <palves@redhat.com>
Wed, 14 Jan 2009 13:42:27 +0000 (13:42 +0000)
committerPedro Alves <palves@redhat.com>
Wed, 14 Jan 2009 13:42:27 +0000 (13:42 +0000)
when handling a EXIT_PROCESS_DEBUG_EVENT.

gdb/gdbserver/ChangeLog
gdb/gdbserver/win32-low.c

index b745986ccfe9f4cb48f6eb5210b20b2891622269..53030d94f382f8568e990f020faf9f6a418d01d0 100644 (file)
@@ -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.
index 182a1f1a66be8f2866ce81857a3cb4626b60541e..5d53e0c2f1c3dbde5195472a7917032fe59fe3a3 100644 (file)
@@ -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;