Create a gist now

Instantly share code, notes, and snippets.

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment