Default port returned to 80

[unfold.git] / devel / server-loop.sh

diff --git a/devel/server-loop.sh b/devel/server-loop.sh
index a108f93..c77258f 100755 (executable)
--- a/devel/server-loop.sh
+++ b/devel/server-loop.sh
@@ -3,11 +3,14 @@ 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
 
-make all-static all-templates
 while true; do 
-    ./manage.py runserver 0.0.0.0:$port
+    # we use make for convenience
+    # but what the static target really does is to invoke manage.py collectstatic 
     make static templates
+    ./manage.py runserver 0.0.0.0:$port
+       sleep 1
 done