X-Git-Url: http://git.onelab.eu/?p=unfold.git;a=blobdiff_plain;f=devel%2Fserver-loop.sh;h=c77258fc183a2e8f98ce5a1099845d73fa631ab7;hp=1d94e8ee538f46b79be9161c1a8497c49911ee2c;hb=1ea923e25ae8c2a0764eb41ffa5080edcea5d959;hpb=ccbd6e9fc2ff9e6683e38d13220ffc9dccfb20ea diff --git a/devel/server-loop.sh b/devel/server-loop.sh index 1d94e8ee..c77258fc 100755 --- a/devel/server-loop.sh +++ b/devel/server-loop.sh @@ -3,7 +3,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=8080 +hostname | grep -q '^z' && port=8080 || port=80 [[ -n "$@" ]] && port=$1 while true; do