From cf0d293c4007fa3c871b125e6ec6992ec8072251 Mon Sep 17 00:00:00 2001 From: Chong Yidong Date: Thu, 29 Jan 2009 14:35:14 +0000 Subject: [PATCH] (w32_console_read_socket): Update pending_signals. --- src/w32inevt.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/w32inevt.c b/src/w32inevt.c index ac7ca644c54..05f7bd224f7 100644 --- a/src/w32inevt.c +++ b/src/w32inevt.c @@ -651,10 +651,12 @@ w32_console_read_socket (struct terminal *terminal, if (interrupt_input_blocked) { interrupt_input_pending = 1; + pending_signals = 1; return -1; } interrupt_input_pending = 0; + pending_signals = pending_atimers; BLOCK_INPUT; for (;;) -- 2.39.2