From c13bd57ed14da1d44426e09918700b46eb3f12b7 Mon Sep 17 00:00:00 2001
From: MaZderMind
Date: Fri, 19 Aug 2016 11:23:42 +0200
Subject: allow specifying the serving port

---
 serve.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/serve.sh b/serve.sh
index 88881f4..60e378b 100755
--- a/serve.sh
+++ b/serve.sh
@@ -1,2 +1,4 @@
 #!/bin/sh
-php -S localhost:8000 -d short_open_tag=true index.php
+port=8000
+if [ -n "$1" ]; then port=$1; fi
+php -S localhost:$port -d short_open_tag=true index.php
-- 
cgit v1.2.3