changeset 13657:0dd21f630fb0

(sys_select): Check timer once even if input is pending.
author Richard M. Stallman <rms@gnu.org>
date Mon, 27 Nov 1995 20:05:44 +0000
parents b5b44ae33653
children 6c5099f8a872
files src/msdos.c
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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
     {