[hurd] 01/01: hurd.hurd-console.init: Clean up pid if any.

[Samuel Thibault]

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 <address@hidden>
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 <address@hidden>  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