From c0c1ba4c08d193669d657fc236ef6850c4fd8ec9 Mon Sep 17 00:00:00 2001
From: Guilherme Rugai Freire <dev@grfreire.com>
Date: Tue, 20 Feb 2024 17:55:37 -0300
Subject: [PATCH] add  to end webserver process to run-web.sh

---
 run-web.sh | 2 ++
 1 file changed, 2 insertions(+)

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