diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2018-11-27 12:21:18 +0000 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2018-11-27 13:48:31 +0000 |
commit | eae5c3587e56abc581af9b59060cd316df2caa08 (patch) | |
tree | 6e4ec114eaf10945c974b5a47396367b8e9d5234 /runner | |
parent | 7b1f355a9923e6fa9d043a0219111f546c777a03 (diff) |
runner: Flip kill args
int kill(pid_t pid, int sig)!
Fixes: a6b514d242bd ("runner: Be patient for processes to die")
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Cc: Petri Latvala <petri.latvala@intel.com>
Reviewed-by: Petri Latvala <petri.latvala@intel.com>
Diffstat (limited to 'runner')
-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; } |