changeset 101652:09b98c9d2d96

(w32_console_read_socket): Update pending_signals.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 29 Jan 2009 14:35:14 +0000
parents edfcd685d1e5
children f2bc801a3377
files src/w32inevt.c
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32inevt.c	Thu Jan 29 14:35:04 2009 +0000
+++ b/src/w32inevt.c	Thu Jan 29 14:35:14 2009 +0000
@@ -651,10 +651,12 @@
   if (interrupt_input_blocked)
     {
       interrupt_input_pending = 1;
+      pending_signals = 1;
       return -1;
     }
 
   interrupt_input_pending = 0;
+  pending_signals = pending_atimers;
   BLOCK_INPUT;
 
   for (;;)