diff options
author | Richard M. Stallman <rms@gnu.org> | 1995-11-27 20:05:44 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1995-11-27 20:05:44 +0000 |
commit | 2b6b2da7c09a7de48aa931a8eae349ea090bf42e (patch) | |
tree | a1bc88889292d9f14e826a1f1fec256b245c1fa8 /src/msdos.c | |
parent | 134fc9742a2caf611994e98751bfde712675b111 (diff) | |
download | emacs-2b6b2da7c09a7de48aa931a8eae349ea090bf42e.tar.gz |
(sys_select): Check timer once even if input is pending.
Diffstat (limited to 'src/msdos.c')
-rw-r--r-- | src/msdos.c | 5 |
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 { |