Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist
View gist:3212747
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.