add to end webserver process to run-web.sh

This commit is contained in:
Guilherme Rugai Freire 2024-02-20 17:55:37 -03:00
parent 40900f3112
commit c0c1ba4c08
No known key found for this signature in database
GPG Key ID: AC1D9B6E48E16AC1

View File

@ -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)"