REALLY fix timeout feature
authorRudolf Polzer <divverent@alientrap.org>
Wed, 21 Jul 2010 13:03:35 +0000 (15:03 +0200)
committerRudolf Polzer <divverent@alientrap.org>
Wed, 21 Jul 2010 13:03:35 +0000 (15:03 +0200)
misc/tools/xonotic-map-compiler

index 7a114e5223f045686a15a695e5fbdee2f064bbf6..596a511ca259f5d3774de7678cde8a10cc181b34 100755 (executable)
@@ -183,7 +183,7 @@ sub q3map2(@)
                or die "fork: $!";
        if($pid) # parent
        {
                or die "fork: $!";
        if($pid) # parent
        {
-               local $SIG{ALRM} = sub { warn "SIGALRM caught\n"; kill $pid; };
+               local $SIG{ALRM} = sub { warn "SIGALRM caught\n"; kill TERM => $pid; };
                alarm $timeout
                        if $timeout;
                if(waitpid($pid, 0) != $pid)
                alarm $timeout
                        if $timeout;
                if(waitpid($pid, 0) != $pid)