allow specifying the serving port

1 files changed, 3 insertions, 1 deletions

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