default port 8000

This commit is contained in:
Christian González 2018-06-16 14:38:46 +02:00 committed by GitHub
commit 5cf6a69007
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -87,7 +87,7 @@ function start_up(){
# MAIN
###
[[ ($# -eq 0) || ($# -gt 2) ]] && usage
port=''
port='8000'
[[ $# -eq 2 ]] && port=$2
if [[ $1 == "stop" ]]; then