From 7656c4f988c0b364efebaf8c3a5aafda979a3010 Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Sun, 30 Sep 2012 20:50:09 +0000 Subject: [PATCH] deployment: get rid of already running SimpleHTTPServer processes From: Michael Prokop --- deployment.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/deployment.sh b/deployment.sh index e789b30..d31478d 100755 --- a/deployment.sh +++ b/deployment.sh @@ -74,6 +74,10 @@ set_deploy_status() { enable_deploy_status_server() { mkdir -p "${STATUS_DIRECTORY}" + # get rid of already running process + PID=$(pgrep -f 'python.*SimpleHTTPServer') || true + [ -n "$PID" ] && kill $PID + ( cd "${STATUS_DIRECTORY}" python -m SimpleHTTPServer 4242 &