From dd06a74bc46f83e5342d5d8026af3b4f833c64dc Mon Sep 17 00:00:00 2001 From: Simon Vieille Date: Sun, 1 Jan 2023 11:51:24 +0100 Subject: [PATCH] fix pid variable --- timeout | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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" }