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.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 2fefef1275b..2a138bfcf65 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2012-12-06  Eli Zaretskii  <eliz@gnu.org>
+
+        * 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.  (Bug#13086)
+
 2012-12-06  Dmitry Antipov  <dmantipov@yandex.ru>
 
         * frame.h (x_char_width, x_char_height): Remove prototypes.