> The appended patch calls target_mourn_inferior() instead of target_kill() > in response to TARGET_WAITKIND_SIGNALLED in handle_inferior_event(). We made this change at Apple a few weeks ago (to fix the very problems you describe) and haven't had any problems as a result of it.