diff options
Diffstat (limited to 'debian/dbus.init')
-rw-r--r-- | debian/dbus.init | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/dbus.init b/debian/dbus.init index 05cc8bc6..590287cb 100644 --- a/debian/dbus.init +++ b/debian/dbus.init @@ -96,6 +96,12 @@ start_it_up() chown $DAEMONUSER $PIDDIR chgrp $DAEMONUSER $PIDDIR fi + + if [ ! -e /proc/filesystems ] ; then + log_failure_msg "Can't start $DESC - /proc is not mounted" + return + fi + if [ -e $PIDFILE ]; then PIDDIR=/proc/$(cat $PIDFILE) if [ -d ${PIDDIR} -a "$(readlink -f ${PIDDIR}/exe)" = "${DAEMON}" ]; then |