restart waitpid if it returns with EINTR.

2015-02-13 16:00:40 +09:00
parent d998691425
commit 9a36e7b84a
1 changed files with 2 additions and 1 deletions
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -1741,7 +1741,8 @@ sync_out:
 			int ret;
 			pid_t pid = w.sr.args[0];

-			if ((ret = waitpid(pid, &status, 0)) != pid) {
+			while ((ret = waitpid(pid, &status, 0)) == -1 && errno == EINTR);
+			if(ret != pid) {
 				fprintf(stderr, "ERROR: waiting for %lu\n", w.sr.args[0]);
 			}