(sys_select): Check timer once even if input is pending.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/msdos.c b/src/msdos.c
index e3426b05b38..a05149eea33 100644
--- a/src/msdos.c
+++ b/src/msdos.c
@@ -2434,8 +2434,9 @@ sys_select (nfds, rfds, wfds, efds, timeout)
      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
     {