From 6324e138b326260b257499e765438249673bfab7 Mon Sep 17 00:00:00 2001
From: Chong Yidong <cyd@stupidchicken.com>
Date: Thu, 29 Jan 2009 14:35:04 +0000
Subject: [PATCH] (w32_read_socket): Update pending_signals.

---
 src/w32term.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/w32term.c b/src/w32term.c
index 7ad7778feaa..bcdadc4b22b 100644
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -4078,10 +4078,12 @@ w32_read_socket (sd, expected, hold_quit)
   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.  */
-- 
2.39.5