Remove auto-killing of all other started servers, since we have PID files.
Merge pull request #538 from jamalex/stop_killing_everything

Remove auto-killing of all other started servers, since we have PID files.