Wed Nov 18 15:05:45 1992 Ian Lance Taylor (ian@cygnus.com)

	* remote-vx.c (vx_kill): just warn if we can't contact the board,
	and assume the process has been killed.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 830865b..6ee9ac3 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+Wed Nov 18 15:05:45 1992  Ian Lance Taylor  (ian@cygnus.com)
+
+       * remote-vx.c (vx_kill): just warn if we can't contact the board,
+       and assume the process has been killed.
+
 Wed Nov 18 14:39:57 1992  Stu Grossman  (grossman at cygnus.com)
 
        * infcmd.c (set_environment_command):  Make set env FOO x=y work.

diff --git a/gdb/remote-vx.c b/gdb/remote-vx.c
index 8ece43c..3fef208 100644 (file)
--- 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 */
 }