* 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
--
To UNSUBSCRIBE, email to debian-hurd-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/1381421714-22414-1-git-send-email-4win...@informatik.uni-hamburg.de
