From e87bdc6cdd7d1a5253d17f94564d750431b0b720 Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Sun, 13 Oct 2013 18:00:13 +0200 Subject: hurd.hurd-console.init: Clean up pid if any. --- debian/changelog | 4 ++++ debian/hurd.hurd-console.init | 5 +++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index d5259a5a..82e439b0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,7 +1,11 @@ hurd (1:0.5.git20130928-2) UNRELEASED; urgency=low + [ Samuel Thibault ] * patches/proc_set_init_task.patch: Fix kernel pid in procfs too. + [ Justus Winter ] + * hurd.hurd-console.init: Clean up pid if any. + -- Samuel Thibault Sat, 05 Oct 2013 13:30:05 +0200 hurd (1:0.5.git20130928-1) unstable; urgency=low diff --git a/debian/hurd.hurd-console.init b/debian/hurd.hurd-console.init index a14b0a5c..cac6fc2d 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" } -- cgit v1.2.3