This is an automated email from the git hooks/post-receive script. sthibault pushed a commit to branch master in repository hurd.
commit 5ddf3d41d4b505e8c4681910534029af29addf4d Author: Justus Winter <[email protected]> Date: Sun Oct 13 18:00:13 2013 +0200 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 d5259a5..82e439b 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 <[email protected]> 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 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" } -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-hurd/hurd.git
