diff --git a/pelican/tools/templates/develop_server.sh.in b/pelican/tools/templates/develop_server.sh.in index 3e97610b..41764728 100755 --- a/pelican/tools/templates/develop_server.sh.in +++ b/pelican/tools/templates/develop_server.sh.in @@ -30,7 +30,7 @@ function shut_down(){ if [[ -f $$SRV_PID ]]; then PID=$$(cat $$SRV_PID) PROCESS=$$(ps -p $$PID | tail -n 1 | awk '{print $$4}') - if [[ $$PROCESS == python ]]; then + if [[ $$PROCESS != "" ]]; then echo "Killing SimpleHTTPServer" kill $$PID else