REALLY fix timeout feature

diff --git a/misc/tools/xonotic-map-compiler b/misc/tools/xonotic-map-compiler
index 7a114e5223f045686a15a695e5fbdee2f064bbf6..596a511ca259f5d3774de7678cde8a10cc181b34 100755 (executable)
--- a/misc/tools/xonotic-map-compiler
+++ b/misc/tools/xonotic-map-compiler
@@ -183,7 +183,7 @@ sub q3map2(@)
                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)