Start: Fixed several issues with --stop.
* The server process (if any) is now shut down even if its
start script already has died. Fixes [bug 6516 (#6516)] #12.
* --stop now no longer starts the server if the pid file is missing.
* Somewhat improved robustness against pid reuse.
* Fixed typo [bug 6516 (#6516)] #11.