From b7b4b5beba5a496fa4ff29a0df2659364fd57344 Mon Sep 17 00:00:00 2001
From: Peter Zich <petezich@gmail.com>
Date: Tue, 4 Jun 2024 18:27:01 -0700
Subject: [PATCH] Use PORT env var to customize script/develop port (#502)

---
 script/develop | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/script/develop b/script/develop
index fb17368..bfc2e9b 100755
--- a/script/develop
+++ b/script/develop
@@ -1,6 +1,10 @@
 # Stop on errors
 set -e
 
+if [ -z "$PORT" ]; then
+  PORT=5001
+fi
+
 cd "$(dirname "$0")/.."
 
 rm -rf dist
@@ -11,6 +15,6 @@ trap "kill 0" EXIT
 # Run tsc once as rollup expects those files
 npm exec -- tsc || true
 
-npm exec -- serve -p 5001 &
+npm exec -- serve -p "$PORT" &
 npm exec -- tsc --watch &
 npm exec -- rollup -c --watch