Don't kill processes unless we're sure there's actually a process to kill

diff --git a/simple_test b/simple_test
index 88adb6d..b90798b 100755 (executable)
--- a/simple_test
+++ b/simple_test
@@ -217,7 +217,10 @@ if [ -f ${pidfile} ]
 then
        kill `cat ${pidfile}`
 else
-       kill $PID
+       if [ ! -z "$PID" ]
+       then
+               kill $PID
+       fi
 fi
 if [ -z "$2" ]
 then