X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=devel%2Fserver-loop.sh;h=c77258fc183a2e8f98ce5a1099845d73fa631ab7;hb=HEAD;hp=1ac43e44dc79673ada994d9a2bc9f584f5665b3a;hpb=9a62ec0dc3ee3e859f3563da29d9c838a658b140;p=unfold.git

diff --git a/devel/server-loop.sh b/devel/server-loop.sh
index 1ac43e44..c77258fc 100755
--- a/devel/server-loop.sh
+++ b/devel/server-loop.sh
@@ -3,6 +3,7 @@ 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
 [[ -n "$@" ]] && port=$1