Do not set -e in dev_run_loop since it would quit if individual run q…

…uits
ReproNim · Sep 5, 2023 · 52a7bb2 · 52a7bb2
1 parent 901d1f8
commit 52a7bb2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Events/dev_run_loop b/Events/dev_run_loop
@@ -1,9 +1,9 @@
 #!/bin/bash
 
-set -eu 
+set -u 
 cd $(dirname $0)
 
-source venvs/dev3/bin/activate
+source venvs/dev3/bin/activate || { echo "Failed to start venv"; exit 1; }
 
 while true; do 
 	ts=$(date --iso-8601=seconds)