diff options
Diffstat (limited to 'gdb/remote-vx.c')
| -rw-r--r-- | gdb/remote-vx.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gdb/remote-vx.c b/gdb/remote-vx.c index 8ece43c..3fef208 100644 --- a/gdb/remote-vx.c +++ b/gdb/remote-vx.c @@ -1231,14 +1231,15 @@ vx_kill () status = net_ptrace_clnt_call (PTRACE_KILL, &ptrace_in, &ptrace_out); if (status == -1) - error (rpcerr); - if (ptrace_out.status == -1) + warning (rpcerr); + else if (ptrace_out.status == -1) { errno = ptrace_out.errno; perror_with_name ("Killing VxWorks process"); } - /* If it gives good status, the process is *gone*, no events remain. */ + /* If it gives good status, the process is *gone*, no events remain. + If the kill failed, assume the process is gone anyhow. */ inferior_pid = 0; pop_target (); /* go back to non-executing VxWorks connection */ } |