Use SIGTERM to kill iurt and install a handler

1 files changed, 2 insertions, 2 deletions

diff --git a/ulri b/ulri
index d493eaf..d859385 100755
--- a/ulri
+++ b/ulri
@@ -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;