aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xbin/devserver6
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/devserver b/bin/devserver
index 57bf881..140430a 100755
--- a/bin/devserver
+++ b/bin/devserver
@@ -1,3 +1,7 @@
#!/bin/sh
+if [ $# -ne 1 ]; then
+ echo 'usage: bin/devserver <port>'
+ exit 1
+fi
cd "$(dirname "$0")"/.. || exit 1
-php -S 0.0.0.0:8080 index.php \ No newline at end of file
+php -S 0.0.0.0:"$1" index.php \ No newline at end of file