diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-10-13 18:00:13 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-10-13 18:00:13 +0200 |
| commit | e87bdc6cdd7d1a5253d17f94564d750431b0b720 (patch) | |
| tree | c5105e0313e13082ab0a5d999b9c98b34251b75e | |
| parent | 6f8061605d68f66ea9e27d5245e0340d50deede3 (diff) | |
hurd.hurd-console.init: Clean up pid if any.
| -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" } |