diff --git a/run/server.sh b/run/server.sh index d112643..b1a473e 100644 --- a/run/server.sh +++ b/run/server.sh @@ -2,16 +2,6 @@ set -eu trap exit SIGINT SIGTERM -# Close any previous instances -script_name="${BASH_SOURCE[0]}" - -for pid in $(pidof -x "$script_name"); do - if [ "$pid" != $$ ]; then - kill -15 "$pid" 2> /dev/null - wait "$pid" 2> /dev/null - fi -done - # Serve the page HTML="
\