Agreed my patch is probably more of a bug than a benefit, but hopefully
we can come up with something that does the job effectively and
efficiently. Initially I got most of the contents from an example
jabberd init script I found on the web. dbus does something similar.
here is what it does:
if [ -e $PIDFILE ]; then
PIDDIR=/proc/$(cat $PIDFILE)
if [ -d ${PIDDIR} -a "$(readlink -f ${PIDDIR}/exe)" = "${DAEMON}" ]; then
log_success_msg "$DESC already started; not starting."
else
log_success_msg "Removing stale PID file $PIDFILE."
rm -f $PIDFILE
fi
fi
Hopefully the formatting doesnt get lost...
Possibly this would be a more elegant solution before the "start"
command.
--
init script unable to "start" after backend crash
https://bugs.launchpad.net/bugs/118538
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
