From c1371f52f088ef351915590eb6daefa99083db64 Mon Sep 17 00:00:00 2001 From: Todd Baert Date: Thu, 10 Oct 2024 18:31:28 -0400 Subject: [PATCH] fix: back to 5s Signed-off-by: Todd Baert --- scripts/restart-wrapper.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/restart-wrapper.sh b/scripts/restart-wrapper.sh index cd1b1b1..f48886e 100644 --- a/scripts/restart-wrapper.sh +++ b/scripts/restart-wrapper.sh @@ -23,7 +23,7 @@ do echo 'starting process...' "$@" & child=$! - sleep 10 && echo "killing pid $child..." && kill -9 "$child" + sleep 5 && echo "killing pid $child..." && kill -9 "$child" while kill -0 "$child" 2> /dev/null; do # wait for child to exit (kill -0 is falsy if pid is gone) sleep 1 done