From e6f0e61908419693a78cfcf362f388fb3f4d76ea Mon Sep 17 00:00:00 2001
From: Tim Wundenberg <tim@wundenbergs.de>
Date: Tue, 11 Nov 2025 22:00:30 +0100
Subject: [PATCH] fix: stopping dev environment

---
 dev.sh | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/dev.sh b/dev.sh
index 8073d81..e754066 100755
--- a/dev.sh
+++ b/dev.sh
@@ -1,9 +1,23 @@
 #!/bin/bash
 
+trap ctrl_c INT
+
+function ctrl_c() {
+	stop
+	exit 0
+}
+
+function stop() {
+	kill %2
+	kill %1
+	./gradlew --stop
+
+	wait
+}
+
 ./gradlew classes --continuous &
 ./gradlew bootRun &
 
 npm run watch
 
-kill %2
-kill %1
+stop