diff --git a/run-web.sh b/run-web.sh index d7b4b98..31e6043 100755 --- a/run-web.sh +++ b/run-web.sh @@ -16,6 +16,8 @@ run_server() { ts="$(get_ts)" run_server +trap "kill -s KILL $pid; trap - EXIT; exit" EXIT INT HUP + while true; do sleep 1; new_ts="$(get_ts)"