# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1225451155 0
# Node ID 03088acac44f4367b0f10dd5034489efee01f78a
# Parent  c808d94cb65dc568d5e257e3f4ca2a78ef963939
Add active_pidfile in rc.functions

diff -r c808d94cb65d -r 03088acac44f etc/init.d/rc.functions
--- a/etc/init.d/rc.functions	Thu Oct 23 20:54:35 2008 +0000
+++ b/etc/init.d/rc.functions	Fri Oct 31 11:05:55 2008 +0000
@@ -25,3 +25,14 @@
 	done
 	echo "$CHAR"
 }
+
+# Check daemon with pidfile: usage check_pidfile $PIDFILE $DAEMON
+active_pidfile()
+{
+	if grep -qs "Name:.$(basename $2)$" /proc/$(cat $1)/status ; then
+		return 0
+	else
+		rm -f $1
+		return 1
+	fi
+}