diff options
| -rw-r--r-- | debian/changelog | 4 | ||||
| -rw-r--r-- | 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 <sthibault@debian.org> 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" } |