| commit | ccb37bd94bb1876588209ad134f7e9550ead36e8 | |
| author | Eli Zaretskii <eliz@gnu.org> | |
| Thu, 6 Dec 2012 18:36:22 +0000 (6 20:36 +0200) | ||
| committer | Eli Zaretskii <eliz@gnu.org> | |
| Thu, 6 Dec 2012 18:36:22 +0000 (6 20:36 +0200) | ||
| tree | 7234e6cedd73c8883bc52ec6e771e9bb646bd3e2 | treesnapshot (tar.gz zip) |
| parent | a4c68e6b3fb8a4b971c3a63e35b29251eb54c86c | commitdiff |
Avoid busy-waiting for child processes on Windows. (Bug#13086)
src/w32proc.c (waitpid): Avoid busy-waiting when called with WNOHANG
if the child process is still running. Instead, exit the wait
loop and return zero.
src/w32proc.c (waitpid): Avoid busy-waiting when called with WNOHANG
if the child process is still running. Instead, exit the wait
loop and return zero.
| src/ChangeLog | diffblobblamehistory | |
| src/w32proc.c | diffblobblamehistory |