From 1ae8d2e24cc4a7cf5afc0014e8a39425cc5731d7 Mon Sep 17 00:00:00 2001 From: Todd Baert Date: Thu, 10 Oct 2024 19:20:53 -0400 Subject: [PATCH] fix: back to 10s 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 f0ba475..46e7d17 100644 --- a/scripts/restart-wrapper.sh +++ b/scripts/restart-wrapper.sh @@ -23,7 +23,7 @@ do echo 'starting process...' "$@" & child=$! - sleep 5 && echo "killing pid $child..." && kill -9 "$child" + sleep 10 && 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