The `restart` init.d script fails. But `stop` then `start` in succession work

[eob]

I suspect it is a problem with a PID file not getting written properly.