diff options
Diffstat (limited to 'base')
-rwxr-xr-x | base/jail.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/base/jail.sh b/base/jail.sh index b8ac5e8..1e92fa5 100755 --- a/base/jail.sh +++ b/base/jail.sh @@ -32,10 +32,10 @@ FIFORUN="/tmp/fiforun$$" exec <$FIFORUN >&${COPROC[1]} \ $TIME -f "result $TIME_FORMAT" \ - $TIMEOUT $TIME_LIMIT \ + $TIMEOUT --signal=SIGKILL $TIME_LIMIT \ $SU $RUN_USER \ $SU_SYNTAX $OUT -# $SU_SYNTAX "$OUT 2>/dev/null" +# $SU_SYNTAX "$OUT 2>/dev/null" # FIXME } 2>&1 rm -f $FIFORUN |