* src/timeout.c (main): Use waitpid, not wait (Bug#9098).

Reported by Andreas Schwab.

* src/timeout.c (SA_RESTART): Define to 0 if not defined.

diff --git a/src/timeout.c b/src/timeout.c
index 895d72038fb682e4d0df83f970ad92fa41e4fc80..2d6dad8fb733c53ce2bd9591c43782b24a754916 100644 (file)
--- a/src/timeout.c
+++ b/src/timeout.c
@@ -365,7 +365,8 @@ main (int argc, char **argv)
 
       alarm (timeout);
 
-      while ((wait_result = wait (&status)) < 0 && errno == EINTR)
+      while ((wait_result = waitpid (monitored_pid, &status, 0)) < 0
+             && errno == EINTR)
         continue;
 
       if (wait_result < 0)