diff options
author | Florent Villard <warly@mandriva.com> | 2005-12-12 09:56:12 +0000 |
---|---|---|
committer | Florent Villard <warly@mandriva.com> | 2005-12-12 09:56:12 +0000 |
commit | 10e36e869854acecb76973246c99f933a0b50e2f (patch) | |
tree | e2e90ada6c27e6a8fac3fbf3c56953393fb5ed30 /iurt2 | |
parent | 574ab814f6647ce058f64f087b4743b8cec10706 (diff) | |
download | iurt-10e36e869854acecb76973246c99f933a0b50e2f.tar iurt-10e36e869854acecb76973246c99f933a0b50e2f.tar.gz iurt-10e36e869854acecb76973246c99f933a0b50e2f.tar.bz2 iurt-10e36e869854acecb76973246c99f933a0b50e2f.tar.xz iurt-10e36e869854acecb76973246c99f933a0b50e2f.zip |
Do a kill 15 before a kil 9 when iurt runs for more than 10 hours
Diffstat (limited to 'iurt2')
-rwxr-xr-x | iurt2 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 } |