From: Anthony Garcia <anthony.garcia@inria.fr>
Date: Mon, 30 Sep 2013 10:55:32 +0000 (+0200)
Subject: kill server when port is already used
X-Git-Url: http://git.onelab.eu/?p=myslice.git;a=commitdiff_plain;h=refs%2Fheads%2Fdemo

kill server when port is already used
---

diff --git a/devel/server-loop.sh b/devel/server-loop.sh
index 1ac43e44..31cf0d85 100755
--- a/devel/server-loop.sh
+++ b/devel/server-loop.sh
@@ -10,6 +10,11 @@ while true; do
     # we use make for convenience
     # but what the static target really does is to invoke manage.py collectstatic 
     make static templates
+
+    # if port is already used, we kill the server
+    pid=$(netstat -putan | awk "\$4 == \"0.0.0.0:$port\" && \$7 != \"-\" {split(\$7,a,\"/\"); print a[1]}")
+    [[ -n "$pid" ]] && kill $pid
+    
     ./manage.py runserver 0.0.0.0:$port
 	sleep 1
 done