diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/w32term.c | 2 |
1 files changed, 2 insertions, 0 deletions
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) | |||
| 4078 | if (interrupt_input_blocked) | 4078 | if (interrupt_input_blocked) |
| 4079 | { | 4079 | { |
| 4080 | interrupt_input_pending = 1; | 4080 | interrupt_input_pending = 1; |
| 4081 | pending_signals = 1; | ||
| 4081 | return -1; | 4082 | return -1; |
| 4082 | } | 4083 | } |
| 4083 | 4084 | ||
| 4084 | interrupt_input_pending = 0; | 4085 | interrupt_input_pending = 0; |
| 4086 | pending_signals = pending_atimers; | ||
| 4085 | BLOCK_INPUT; | 4087 | BLOCK_INPUT; |
| 4086 | 4088 | ||
| 4087 | /* So people can tell when we have read the available input. */ | 4089 | /* So people can tell when we have read the available input. */ |