From f60787dbdae954722ae23148060efaa9d27de6d7 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Mon, 23 Feb 2015 19:02:10 +0100 Subject: [PATCH] change in convenience tool server-loop.sh --- devel/server-loop.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/devel/server-loop.sh b/devel/server-loop.sh index c77258fc..78e1da15 100755 --- a/devel/server-loop.sh +++ b/devel/server-loop.sh @@ -2,9 +2,8 @@ DIRNAME=$(dirname $0) cd $DIRNAME/.. -# default port : if hostname starts with z -> use 8080 ; otherwise take 80 -#hostname | grep -q '^z' && port=8080 || port=8080 -hostname | grep -q '^z' && port=8080 || port=80 +# default port : if hostname starts with z or with srv- -> use 8000 ; otherwise take 80 +hostname | egrep -q '^(z|srv-)' && port=8000 || port=80 [[ -n "$@" ]] && port=$1 while true; do -- 2.43.0