diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 19:26:51 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 19:26:51 +0100 |
| commit | 9e2ea41475b040a3d76578fffe20b98855b05417 (patch) | |
| tree | a30be9ee59cb33383a7acd7dc8978d9b3e3a7223 /executor | |
| parent | a92b8c76c31a2785b71661f1806787c02d01d00f (diff) | |
executor: don't print all waitpid debug messages
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index e77bcac0b..255712f5f 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -211,11 +211,14 @@ int main() uint64_t start = current_time_ms(); for (;;) { int res = waitpid(pid, &status, __WALL | WNOHANG); - debug("waitpid(%d)=%d (%d)\n", pid, res, errno); - if (res == pid) + int errno0 = errno; + if (res == pid) { + debug("waitpid(%d)=%d (%d)\n", pid, res, errno0); break; + } usleep(1000); if (current_time_ms() - start > 5 * 1000) { + debug("waitpid(%d)=%d (%d)\n", pid, res, errno0); debug("killing\n"); kill(-pid, SIGKILL); kill(pid, SIGKILL); |