From 632eef6424d8dc8d40c2906177892697679e7b85 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sat, 19 Apr 2025 12:36:38 +0200
Subject: Add ZIG server

---
 backend/bin/dev-server | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 backend/bin/dev-server

(limited to 'backend/bin/dev-server')

diff --git a/backend/bin/dev-server b/backend/bin/dev-server
new file mode 100755
index 0000000..680e736
--- /dev/null
+++ b/backend/bin/dev-server
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Killing watchexec ourselves, it may not be done otherwise.
+function finish {
+    if [ -n "${LIVE_SERVER_PID:-}" ]; then
+        kill "$LIVE_SERVER_PID" > /dev/null 2>&1
+    fi
+}
+
+trap finish EXIT
+
+watchexec \
+    --watch src \
+    --clear clear \
+    --restart \
+    zig build run &
+LIVE_SERVER_PID="$!"
+
+while true; do sleep 1; done
-- 
cgit v1.2.3