Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh: Let a grace period of 1s for the child process to die properly
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Aug 2015 08:46:44 +0000 (10:46 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Aug 2015 08:46:44 +0000 (10:46 +0200)
tools/tesh/tesh.pl

index 4bbeb20..6acee9a 100755 (executable)
@@ -280,6 +280,8 @@ sub exec_cmd {
     die "fork() failed: $!" unless defined $forked;
     if ( $forked == 0 ) { # child
       sleep $time_to_wait;
+      kill(SIGTERM, $cmd{'pid'});
+      sleep 1;
       kill(SIGKILL, $cmd{'pid'});
       exit $time_to_wait;
     }