diff options
Diffstat (limited to 'ulri')
| -rwxr-xr-x | ulri | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -299,7 +299,7 @@ foreach my $prefix (keys %pkg_tree) { # Everything is fine, build is continuing! # Kill it if that package had failed on a mandatory arch if (check_if_mandatory_arch_failed($media, $ent, $config)) { - ssh($remote, "kill -14 $pid"); + ssh($remote, "kill -TERM $pid"); $pkg_tree{$prefix}{media}{$media}{cancelled_arch}{$arch} = 1; create_file("$done_dir/${prefix}_$arch.cancelled", "$bot $host"); } @@ -307,7 +307,7 @@ foreach my $prefix (keys %pkg_tree) { } if ($timeout) { plog('FAIL', "$bot timed out on $host/$arch ($seconds sec), killing it"); - ssh($remote, "kill -14 $pid"); + ssh($remote, "kill -TERM $pid"); # Give it some time to die/cleanup if ($seconds < 1.02 * $config->{faildelay}) { next bot; |