[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[hurd] 01/01: hurd.hurd-console.init: Clean up pid if any.
From: |
Samuel Thibault |
Subject: |
[hurd] 01/01: hurd.hurd-console.init: Clean up pid if any. |
Date: |
Sun, 13 Oct 2013 16:00:22 +0000 |
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