diff options
Diffstat (limited to 'demo')
| -rwxr-xr-x | demo/start.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/start.sh b/demo/start.sh index bb2248770d..a7502e7a8d 100755 --- a/demo/start.sh +++ b/demo/start.sh @@ -16,7 +16,7 @@ if [ $# -eq 1 ]; then fi fi -for port in 8080 8081 8082; do +for port in 8080; do echo "Starting server on port $port... " https_port=$((port + 400)) |