(w32_console_read_socket): Update pending_signals.

2009-01-29 14:35:14 +00:00
parent 6324e138b3
commit cf0d293c40
1 changed files with 2 additions and 0 deletions
--- 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 (;;)