Comment 1 for bug 633182

Revision history for this message
Daniel Voina (dvoina-deactivatedaccount) wrote :

Workaround for this:

edit as root the file /etc/init.d.ser and change the line

PIDFILE=/var/run/$NAME/$NAME.pid
into
PIDFILE=/var/run/$NAME.pid