Fix:Django server default port back to 80

diff --git a/devel/server-loop.sh b/devel/server-loop.sh
index 51159ad..c77258f 100755 (executable)
--- a/devel/server-loop.sh
+++ b/devel/server-loop.sh
@@ -4,7 +4,7 @@ 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