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