# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 827894115 0
# Node ID 71c2cf461805fb693c3fdcb23cf0647c03bd7fbf
# Parent  acc4f62dbeb0b70825852c37015fa265a2d97345
(wait_reading_process_input_1): New (empty) function.
(wait_reading_process_input): Call wait_reading_process_input_1.
If timer_check runs some timers, retry it.

diff -r acc4f62dbeb0 -r 71c2cf461805 src/process.c
--- a/src/process.c	Wed Mar 27 00:14:20 1996 +0000
+++ b/src/process.c	Wed Mar 27 02:35:15 1996 +0000
@@ -1959,6 +1959,12 @@
    when not inside wait_reading_process_input.  */
 static int waiting_for_user_input_p;
 
+/* This is here so breakpoints can be put on it.  */
+static
+wait_reading_process_input_1 ()
+{
+}
+
 /* Read and dispose of subprocess output while waiting for timeout to
    elapse and/or keyboard input to be available.
 
@@ -2079,10 +2085,19 @@
       if (1)
 	{
 	  EMACS_TIME timer_delay;
-	  int old_timers_run = timers_run;
+	  int old_timers_run;
+
+	retry:
+	  old_timers_run = timers_run;
 	  timer_delay = timer_check (1);
 	  if (timers_run != old_timers_run && do_display)
-	    redisplay_preserve_echo_area ();
+	    {
+	      redisplay_preserve_echo_area ();
+	      /* We must retry, since a timer may have requeued itself
+		 and that could alter the time_delay.  */
+	      goto retry;
+	    }
+
 	  if (! EMACS_TIME_NEG_P (timer_delay) && time_limit != -1)
 	    {
 	      EMACS_TIME difference;
@@ -2093,6 +2108,11 @@
 		  timeout_reduced_for_timers = 1;
 		}
 	    }
+	  else
+	    {
+	      /* This is so a breakpoint can be put here.  */
+	      wait_reading_process_input_1 ();
+	    }
 	}
 
       /* Cause C-g and alarm signals to take immediate action,