A workaround for this bug was recently posted on dibbler bug tracker:
http://klub.com.pl/bugzilla3/show_bug.cgi?id=268
The suggested patch works for me..
-- a/Port-linux/daemon.cpp
+++ b/Port-linux/daemon.cpp
@@ -233,6 +233,7 @@ int stop(const char * pidfile) {
if (!ptrace_failed) {
cout << "Waiting for signalled process termination... " << flush;
+ ptrace(PTRACE_CONT, pid, NULL, SIGTERM);
do {
if (-1 == waitpid(pid, &p_status, 0)) {
saved_errno = errno;
Dick
--
Dick Middleton
d...@lingbrae.com
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
