Try to kill more agressively processes launched if the forked command is stopped

1 files changed, 3 insertions, 1 deletions

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});