changeset 101651:edfcd685d1e5

(w32_read_socket): Update pending_signals.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 29 Jan 2009 14:35:04 +0000
parents 315aa5c3b682
children 09b98c9d2d96
files src/w32term.c
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32term.c	Thu Jan 29 14:34:52 2009 +0000
+++ b/src/w32term.c	Thu Jan 29 14:35:04 2009 +0000
@@ -4078,10 +4078,12 @@
   if (interrupt_input_blocked)
     {
       interrupt_input_pending = 1;
+      pending_signals = 1;
       return -1;
     }
 
   interrupt_input_pending = 0;
+  pending_signals = pending_atimers;
   BLOCK_INPUT;
 
   /* So people can tell when we have read the available input.  */