Merge pull request #588 from tpievila/dev_server_fix

Kill SimpleHTTPServer also on OS X
This commit is contained in:
Alexis Metaireau 2012-11-29 14:08:53 -08:00
commit f653118658

View file

@ -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