From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 23 Feb 2015 18:02:10 +0000 (+0100)
Subject: change in convenience tool server-loop.sh
X-Git-Tag: myslice-1.3~77
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=f60787dbdae954722ae23148060efaa9d27de6d7;p=unfold.git

change in convenience tool server-loop.sh
---

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