[PATCH] debian: remove hurd-console's pidfile

[Justus Winter <4winter@informatik.uni-hamburg.de>]

* debian/hurd.hurd-console.init (do_stop): Remove the pidfile.
---
 debian/hurd.hurd-console.init |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/hurd.hurd-console.init b/debian/hurd.hurd-console.init
index a14b0a5..cac6fc2 100644
--- a/debian/hurd.hurd-console.init
+++ b/debian/hurd.hurd-console.init
@@ -71,8 +71,9 @@ do_stop()
 	RETVAL="$?"
 
 	[ "$?" = 2 ] && return 2
-	# Many daemons don't delete their pidfiles when they exit.
-	#rm -f $PIDFILE
+	# The hurd-console usually deletes its pidfile when it
+	# exits. However, if it exits uncleanly, it is left behind.
+	rm -f $PIDFILE
 	return "$RETVAL"
 }
 
-- 
1.7.10.4