replace signal number by its name, for better portability

diff --git a/buildtools/Cmake/Scripts/tesh.pl b/buildtools/Cmake/Scripts/tesh.pl
index d74a6d5..ca4d0b7 100755 (executable)
--- a/buildtools/Cmake/Scripts/tesh.pl
+++ b/buildtools/Cmake/Scripts/tesh.pl
@@ -258,7 +258,7 @@ sub exec_cmd {
     die "fork() failed: $!" unless defined $forked;
     if ( $forked == 0 ) { # child
       sleep $time_to_wait;
     die "fork() failed: $!" unless defined $forked;
     if ( $forked == 0 ) { # child
       sleep $time_to_wait;

-      kill(9, $pid);
+      kill(SIGKILL, $pid);

       exit $time_to_wait;
     }
   }
       exit $time_to_wait;
     }
   }


@@ -532,7 +532,7 @@ LINE: while (not $finished and not $error) {
     die "[TESH/CRITICAL] parse error: $line\n";
   }
   if($forked){
     die "[TESH/CRITICAL] parse error: $line\n";
   }
   if($forked){

-   kill(9, $forked);
+   kill(SIGKILL, $forked);

    $timeout=0;
   }
 
    $timeout=0;
   }
 


@@ -548,7 +548,7 @@ if (defined($cmd{'cmd'})) {
 
 
 if($forked){
 
 
 if($forked){

-   kill(9, $forked);
+   kill(SIGKILL, $forked);

    $timeout=0;
 }
 
    $timeout=0;
 }