public
Created

  • Download Gist
gistfile1
1 2 3 4 5 6 7 8 9 10 11 12 13
diff -r 0fc0108517a8 src/os_win32.c
--- a/src/os_win32.c Sun Jul 29 12:55:32 2012 +0200
+++ b/src/os_win32.c Tue Jul 31 11:06:26 2012 +0900
@@ -3319,8 +3319,7 @@
{
TranslateMessage(&msg);
pDispatchMessage(&msg);
- }
- if (WaitForSingleObject(pi.hProcess, delay) != WAIT_TIMEOUT)
+ } else if (WaitForSingleObject(pi.hProcess, delay) != WAIT_TIMEOUT)
break;
/* We start waiting for a very short time and then increase it, so

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.