fixed #2406

2026-02-03 21:30:06 +01:00 · 2014-11-17 14:47:36 -05:00
parent 14ba1ff8c0
commit 0d6be40238
2 changed files with 15 additions and 3 deletions
--- a/7
+++ b/7
@@ -12,10 +12,11 @@ fi
 function pidExists() {
 	if [ -e "pidfile" ];
 		then
-			kill -s 0 $(cat pidfile);
-			if [ !$? ];
+			if ps -p $(cat pidfile) > /dev/null
 				then return 1;
-				else return 0;
+				else
+					rm ./pidfile;
+					return 0;
 			fi
 		else
 			return 0;