Avoid busy-waiting for child processes on Windows. (Bug#13086)
authorEli Zaretskii <eliz@gnu.org>
Thu, 6 Dec 2012 18:36:22 +0000 (20:36 +0200)
committerEli Zaretskii <eliz@gnu.org>
Thu, 6 Dec 2012 18:36:22 +0000 (20:36 +0200)
commite86f51344b4bc58f8342b360eaf3d2b2ca0c470a
treec1b23e29dcebc986d13f719d23f001a8181496b4
parent5b4d7e523f901916392de12fb93b80b6f472de1d
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/ChangeLog
src/w32proc.c