From 31f84d68d3bd9208a91abc1f2f59389e1a0caca3 Mon Sep 17 00:00:00 2001 From: Anthony Garcia Date: Mon, 30 Sep 2013 12:55:32 +0200 Subject: [PATCH] kill server when port is already used --- devel/server-loop.sh | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.43.0