diff options
Diffstat (limited to 'rts/win32/AwaitEvent.c')
| -rw-r--r-- | rts/win32/AwaitEvent.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rts/win32/AwaitEvent.c b/rts/win32/AwaitEvent.c index 1b92c4386f..af9c658e02 100644 --- a/rts/win32/AwaitEvent.c +++ b/rts/win32/AwaitEvent.c @@ -27,13 +27,11 @@ static nat workerWaitingForRequests = 0; void awaitEvent(rtsBool wait) { - int ret; - do { /* Try to de-queue completed IO requests */ workerWaitingForRequests = 1; - ret = awaitRequests(wait); + awaitRequests(wait); workerWaitingForRequests = 0; // If a signal was raised, we need to service it |