diff options
Diffstat (limited to 'src/w32proc.c')
| -rw-r--r-- | src/w32proc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/w32proc.c b/src/w32proc.c index a7f2b4a9950..0aa248a6f7b 100644 --- a/src/w32proc.c +++ b/src/w32proc.c | |||
| @@ -1449,7 +1449,7 @@ waitpid (pid_t pid, int *status, int options) | |||
| 1449 | 1449 | ||
| 1450 | do | 1450 | do |
| 1451 | { | 1451 | { |
| 1452 | QUIT; | 1452 | maybe_quit (); |
| 1453 | active = WaitForMultipleObjects (nh, wait_hnd, FALSE, timeout_ms); | 1453 | active = WaitForMultipleObjects (nh, wait_hnd, FALSE, timeout_ms); |
| 1454 | } while (active == WAIT_TIMEOUT && !dont_wait); | 1454 | } while (active == WAIT_TIMEOUT && !dont_wait); |
| 1455 | 1455 | ||