From 54995d33e25b1bb28e6c006fe21719bee0e4e5d5 Mon Sep 17 00:00:00 2001 From: Florent Villard Date: Mon, 1 May 2006 10:35:12 +0000 Subject: Try to kill more agressively processes launched if the forked command is stopped --- iurt2 | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/iurt2 b/iurt2 index ff79be5..d2e5353 100755 --- a/iurt2 +++ b/iurt2 @@ -990,7 +990,9 @@ sub perform_command { $opt{callback}(\%opt, $output) and return } if ($kill) { - $output = "Command has been killed after $opt{timeout} seconds: $command\n$output" + $output = "Command has been killed after $opt{timeout} seconds: $command\n$output"; + my ($cmd_to_kill) = $command =~ /sudo(?: chroot \S+)? (.*)/; + clean_process($cmd_to_kill, $run{verbose}) } elsif ($pipe) { $output = "Command receives a broken pipe: $command\n$output"; sendmail($config->{admin}, '' , "$opt{hash} on $run->{my_arch} for $run->{media}: broken pipe", "$output", 0, 0, $opt{debug_mail}); -- cgit v1.2.1