server: update run.sh

2026-07-22 00:18:10 -07:00 · 2024-08-05 10:42:28 +02:00
parent c646d6dc60
commit 992d45c8af
2 changed files with 6 additions and 27 deletions
@@ -1,7 +1,11 @@
 if cargo watch --help &> /dev/null; then
    TRIGGER="./in/datasets_len.txt"
-    echo "0" > $TRIGGER
-    cargo watch --no-vcs-ignores -w "./src" -w "./run.sh" -w "$TRIGGER" -x "run -r"
+
+    if [ ! -f "$TRIGGER" ]; then
+        echo "0" > $TRIGGER
+    fi
+
+    cargo watch --no-vcs-ignores -w "./src" -w "$TRIGGER" -x "run -r"
 else
    cargo run -r
 fi