diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 1731fb4e3..63d66d435 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -287,7 +287,7 @@ void loop() executed_calls = now_executed; last_executed = now; } - if ((now - start < 3 * 1000) && (now - last_executed < 200)) + if ((now - start < 3 * 1000) && (now - last_executed < 500)) continue; debug("waitpid(%d)=%d (%d)\n", pid, res, errno0); debug("killing\n"); |