(Sorry for the typos. Shame on me!) -- To follow up on my earlier comment:
Interestingly, the $DODTIME value is already defined in the startup
script. Nevertheless the "sleep 5" command doesn't seem to be executed
as we would expect, to avoid restarting to fail:
```
# FILE: /etc/init.d/supervisor, lines 35+
DODTIME=5 # Time to wait for the server to die, in seconds
# If this value is set too low you might not
# let some servers to die gracefully and
# 'restart' will not work
```
For some reason this fails.
