diff options
author | Pascal Terjan <pterjan@mageia.org> | 2018-10-15 16:06:11 +0000 |
---|---|---|
committer | Pascal Terjan <pterjan@mageia.org> | 2018-10-15 16:30:46 +0000 |
commit | 6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a (patch) | |
tree | 6e8bd5a95b690ab9de69b7d1fc55266644e3aa62 /ulri | |
parent | 1eb80e1355efab11a8d93f237b22aea50720ca8e (diff) | |
download | iurt-6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a.tar iurt-6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a.tar.gz iurt-6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a.tar.bz2 iurt-6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a.tar.xz iurt-6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a.zip |
Use SIGTERM to kill iurt and install a handler
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, $prefix, $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; |