* remote.c (kill_kludge): Delete.

	(remote_wait, remote_async_wait): Don't set it.
	(remote_kill, remote_async_kill): Don't do anything with it.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index bb7fd135440b78a3e2b2789bb93275047c6301f5..ec59517d819f7f2093df0317845f7eedc9a3a99e 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2008-06-05  Pedro Alves  <pedro@codesourcery.com>
+
+       * remote.c (kill_kludge): Delete.
+       (remote_wait, remote_async_wait): Don't set it.
+       (remote_kill, remote_async_kill): Don't do anything with it.
+
 2008-06-05  Pedro Alves  <pedro@codesourcery.com>
 
        * linux-thread-db.c (thread_db_wait): Don't trim event ptid.

diff --git a/gdb/remote.c b/gdb/remote.c
index 7e15873477e12415c9e418f718e744ad36b39728..3cbabbaee77b5ac2838e66eb59bdc5a7b6e81d3d 100644 (file)
--- a/gdb/remote.c
+++ b/gdb/remote.c
@@ -3330,10 +3330,6 @@ remote_async_terminal_ours (void)
   remote_async_terminal_ours_p = 1;
 }
 
-/* If nonzero, ignore the next kill.  */
-
-int kill_kludge;
-
 void
 remote_console_output (char *msg)
 {
@@ -3537,7 +3533,6 @@ Packet: '%s'\n"),
          status->kind = TARGET_WAITKIND_SIGNALLED;
          status->value.sig = (enum target_signal)
            (((fromhex (buf[1])) << 4) + (fromhex (buf[2])));
-         kill_kludge = 1;
 
          goto got_status;
        case 'O':               /* Console output.  */
@@ -3764,7 +3759,6 @@ Packet: '%s'\n"),
          status->kind = TARGET_WAITKIND_SIGNALLED;
          status->value.sig = (enum target_signal)
            (((fromhex (buf[1])) << 4) + (fromhex (buf[2])));
-         kill_kludge = 1;
 
          goto got_status;
        case 'O':               /* Console output.  */
@@ -5282,15 +5276,6 @@ getpkt_sane (char **buf, long *sizeof_buf, int forever)
 static void
 remote_kill (void)
 {
-  /* For some mysterious reason, wait_for_inferior calls kill instead of
-     mourn after it gets TARGET_WAITKIND_SIGNALLED.  Work around it.  */
-  if (kill_kludge)
-    {
-      kill_kludge = 0;
-      target_mourn_inferior ();
-      return;
-    }
-
   /* Use catch_errors so the user can quit from gdb even when we aren't on
      speaking terms with the remote system.  */
   catch_errors ((catch_errors_ftype *) putpkt, "k", "", RETURN_MASK_ERROR);
@@ -5308,15 +5293,6 @@ remote_async_kill (void)
   if (target_is_async_p ())
     serial_async (remote_desc, NULL, 0);
 
-  /* For some mysterious reason, wait_for_inferior calls kill instead of
-     mourn after it gets TARGET_WAITKIND_SIGNALLED.  Work around it.  */
-  if (kill_kludge)
-    {
-      kill_kludge = 0;
-      target_mourn_inferior ();
-      return;
-    }
-
   /* Use catch_errors so the user can quit from gdb even when we
      aren't on speaking terms with the remote system.  */
   catch_errors ((catch_errors_ftype *) putpkt, "k", "", RETURN_MASK_ERROR);