From 6abb8b99c63a1f4c91c37d57e8aab049e8b28c42 Mon Sep 17 00:00:00 2001
From: Reuben Thomas <rrt@sc3d.org>
Date: Mon, 26 Nov 2007 23:41:19 +0000
Subject: Update to current /etc/init.d/plptools from Debian plptools package
 0.15-2.

---
 debian/plptools.init | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'debian/plptools.init')

diff --git a/debian/plptools.init b/debian/plptools.init
index 78b7ba5..d0f7549 100644
--- a/debian/plptools.init
+++ b/debian/plptools.init
@@ -46,7 +46,12 @@ case "$1" in
   stop)
 	if test "$START_PLPNFSD" = "yes" ; then
 		echo -n "Stopping $DESC ($DAEMON2): "
-		start-stop-daemon --stop --schedule HUP/5/TERM/1 --quiet \
+# 	Stop the daemon more gently
+		if test -e /var/lib/plptools/mnt/proc/exit ; then
+		echo "stop" > /var/lib/plptools/mnt/proc/exit
+		sleep 1
+		fi
+		start-stop-daemon --stop --retry HUP/5/TERM/1 --quiet \
 				--exec $DAEMON2 && \
 			echo -n "done" || echo -n "already stopped"
 		echo "."
-- 
cgit v1.2.3