From 9aaa1814d06e68004c22292976f9cec8a7ab546b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Mon, 4 Oct 2021 23:26:07 +0200
Subject: add development start script.

---
 start | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100755 start

(limited to 'start')

diff --git a/start b/start
new file mode 100755
index 00000000..b8d48cc4
--- /dev/null
+++ b/start
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+# Simple script for starting the HTTP server in debug mode
+# on some apropriate port.
+# Only built for development use.
+find_port() {
+	for p in "$@"; do
+		echo 2>/dev/null >/dev/tcp/localhost/$p 
+		if [ $? -eq 1 ]; then
+			echo $p
+			return
+		fi
+	done
+	echo "No port available"
+	exit 1
+}
+
+port=`find_port {8080..9000}`
+
+echo "Starting on $port"
+
+$(dirname $(realpath $0))/main \
+	-o debug=#t \
+	-o edit-mode=#t \
+	--repl=$XDG_RUNTIME_DIR/calp \
+	server \
+	--port "$port" \
+	--sigusr
-- 
cgit v1.2.3