diff options
-rw-r--r-- | runner/executor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runner/executor.c b/runner/executor.c index 4a0a1219..a7d1f5f8 100644 --- a/runner/executor.c +++ b/runner/executor.c @@ -545,7 +545,7 @@ static int monitor_output(pid_t child, * forward progress towards exiting (i.e. still * freeing all of its resources). */ - if (kill(0, child) == 0 && !tainted(&taints)) { + if (kill(child, 0) == 0 && !tainted(&taints)) { intervals_left = 1; break; } |