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
Workaround for this:
edit as root the file /etc/init.d.ser and change the line
PIDFILE= /var/run/ $NAME/$ NAME.pid /var/run/ $NAME.pid
into
PIDFILE=