From 10e36e869854acecb76973246c99f933a0b50e2f Mon Sep 17 00:00:00 2001 From: Florent Villard Date: Mon, 12 Dec 2005 09:56:12 +0000 Subject: Do a kill 15 before a kil 9 when iurt runs for more than 10 hours --- iurt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'iurt2') diff --git a/iurt2 b/iurt2 index 9a4aa09..c0ae8e2 100755 --- a/iurt2 +++ b/iurt2 @@ -77,7 +77,7 @@ my (@stat) = stat $pidfile; print "An other iurt pid $pid is running for a very long time, killing it\n"; my $i; while ($i < 5 && getpgrp $pid != -1) { - kill 9, $pid; + kill_for_good($pid); $i++; sleep 1 } -- cgit v1.2.1