diff options
| author | Nicholas Duffek <nsd@redhat.com> | 2000-04-05 02:26:37 +0000 |
|---|---|---|
| committer | Nicholas Duffek <nsd@redhat.com> | 2000-04-05 02:26:37 +0000 |
| commit | c7e79b4bee6d93b98ae43da739ef73f9ac740fb5 (patch) | |
| tree | 30508a35d122b25d4c82b2b83c89adee394529d0 /gdb/infrun.c | |
| parent | dd27201edf3ec4449fc70126afcb8c6255ca02ff (diff) | |
| download | gdb-c7e79b4bee6d93b98ae43da739ef73f9ac740fb5.zip gdb-c7e79b4bee6d93b98ae43da739ef73f9ac740fb5.tar.gz gdb-c7e79b4bee6d93b98ae43da739ef73f9ac740fb5.tar.bz2 | |
* infrun.c (handle_inferior_event): Call target_mourn_inferior
instead of kill_target.
Diffstat (limited to 'gdb/infrun.c')
| -rw-r--r-- | gdb/infrun.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gdb/infrun.c b/gdb/infrun.c index 6bc32d8..594523f 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -1555,12 +1555,12 @@ handle_inferior_event (struct execution_control_state *ecs) stop_signal = ecs->ws.value.sig; target_terminal_ours (); /* Must do this before mourn anyway */ - /* This looks pretty bogus to me. Doesn't TARGET_WAITKIND_SIGNALLED - mean it is already dead? This has been here since GDB 2.8, so - perhaps it means rms didn't understand unix waitstatuses? - For the moment I'm just kludging around this in remote.c - rather than trying to change it here --kingdon, 5 Dec 1994. */ - target_kill (); /* kill mourns as well */ + /* Note: By definition of TARGET_WAITKIND_SIGNALLED, we shouldn't + reach here unless the inferior is dead. However, for years + target_kill() was called here, which hints that fatal signals aren't + really fatal on some systems. If that's true, then some changes + may be needed. */ + target_mourn_inferior (); print_stop_reason (SIGNAL_EXITED, stop_signal); singlestep_breakpoints_inserted_p = 0; /*SOFTWARE_SINGLE_STEP_P */ |