# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 817502744 0
# Node ID 0dd21f630fb027cebf53f5c1c77102688f6180b2
# Parent  b5b44ae336539094307c5fa22e1d7d2a5e5c9ce0
(sys_select): Check timer once even if input is pending.

diff -r b5b44ae33653 -r 0dd21f630fb0 src/msdos.c
--- a/src/msdos.c	Mon Nov 27 05:47:49 1995 +0000
+++ b/src/msdos.c	Mon Nov 27 20:05:44 1995 +0000
@@ -2434,8 +2434,9 @@
      just read it and wait -- that's more efficient.  */
   if (!timeout)
     {
-      while (! detect_input_pending ())
-	check_timer (&t);
+      do
+	check_timer (&t);  /* check timer even if some input is pending */
+      while (!detect_input_pending ());
     }
   else
     {