From 29ed447c5ea4531007af5aba9de1a033410f0bb2 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Sat, 22 Jul 2023 17:24:15 +0200
Subject: [PATCH] Add dev stop command

---
 dev.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/dev.sh b/dev.sh
index caaa5c7..89befc6 100755
--- a/dev.sh
+++ b/dev.sh
@@ -7,11 +7,16 @@ run () {
     find . -name __pycache__ -o -name "*.pyc" -delete
     sudo iptables -I INPUT -p tcp --dport $WEBPORT -j ACCEPT
     printf "\n---\n webserver: http://$(hostname -f):$WEBPORT\n---\n"
-    overmind start
+    overmind start -D
 }
 tasks["run"]=run
 tasks["start"]=run
 
+stop () {
+    overmind quit
+}
+tasks["stop"]=stop
+
 setup () {
     overmind start -l db -D
     if [ -f .direnv/first_run ]; then