fix devserver (allow choosing port)

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