diff --git a/timeout b/timeout index 56cb989..cb2de2a 100755 --- a/timeout +++ b/timeout @@ -31,8 +31,8 @@ check_pid() { PID=$1 LOOP=$2 - for _ in $(seq 1 "$LOOP"); do - test -d "/proc/$PID/" && sleep 1 || STATUS=0 + for _ in $(seq 1 "$(($LOOP*2))"); do + test -d "/proc/$PID/" && sleep 0.5 || STATUS=0 done printf "%d" ${STATUS:-1} @@ -62,7 +62,7 @@ main() { SCRIPT_PID=$(run_script "$SCRIPT_FILE") EXIT_STATUS=$(check_pid "$SCRIPT_PID" "$TIMEOUT") - stop_delete_script "$PID" "$SCRIPT_FILE" + stop_delete_script "$SCRIPT_PID" "$SCRIPT_FILE" exit "$EXIT_STATUS" }