--- haproxy.old	2014-09-22 10:52:07.599718882 +0000
+++ haproxy.new	2014-09-22 10:51:34.815653158 +0000
@@ -46,7 +46,9 @@
 		return 0
 	fi
 	for pid in $(cat $PIDFILE) ; do
-		/bin/kill $pid || return 4
+                if [ ! kill -0 $pid ]; then
+		    /bin/kill $pid || return 4
+                fi
 	done
 	rm -f $PIDFILE
 	return 0