From 6e3fcbda2b0bc613ebd46fda8b5b92cf7a6b2f5a Mon Sep 17 00:00:00 2001
From: Pascal Terjan <pterjan@mageia.org>
Date: Mon, 15 Oct 2018 16:06:11 +0000
Subject: Use SIGTERM to kill iurt and install a handler

---
 ulri | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ulri')

diff --git a/ulri b/ulri
index 7b559d5..5b44693 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, $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;
-- 
cgit v1.2.1