From 4dc0791ffbc2f60836fee39022e0497a09150b46 Mon Sep 17 00:00:00 2001 From: Kroese Date: Thu, 20 Apr 2023 15:26:22 +0200 Subject: [PATCH] Trap --- run/server.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/run/server.sh b/run/server.sh index 1774a3f..6a7cbef 100644 --- a/run/server.sh +++ b/run/server.sh @@ -6,11 +6,13 @@ script_name=${BASH_SOURCE[0]} for pid in $(pidof -x $script_name); do if [ $pid != $$ ]; then - kill -9 $pid 2> /dev/null + kill -15 $pid 2> /dev/null wait $pid 2> /dev/null fi done +trap exit SIGINT SIGTERM + # Serve the page HTML="

$2

" RESPONSE="HTTP/1.1 200 OK\r\nConnection: close\r\n\r\n$HTML\r\n"