# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1233239704 0
# Node ID edfcd685d1e59280e0e5050d8952d20116f7ec00
# Parent  315aa5c3b682b496e45f9b05b9a22bbb6e465870
(w32_read_socket): Update pending_signals.

diff -r 315aa5c3b682 -r edfcd685d1e5 src/w32term.c
--- 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.  */