From d4ce490756eb2c129aeaebff8dc7999006c21b3f Mon Sep 17 00:00:00 2001
From: Juliano Solanho <juliano.solanho@gmail.com>
Date: Mon, 9 Nov 2020 12:03:04 -0300
Subject: [PATCH] exec prevents the cleanup trap from hitting

---
 script/develop.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/script/develop.sh b/script/develop.sh
index 4d961bae..79077d29 100755
--- a/script/develop.sh
+++ b/script/develop.sh
@@ -27,9 +27,10 @@ EOF
 ./script/serve.sh public &
 SERVER_PID=$!
 cleanup() {
+    echo "hi"
     kill "$SERVER_PID"
 }
 trap cleanup EXIT INT
 
 # start a watcher. This loops forever, so we don't need to loop ourselves.
-exec watchexec --clear --postpone -- shake --compact "$SHAKE_TARGET"
+watchexec --clear --postpone -- shake --compact "$SHAKE_TARGET"