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