Fix for KillServer.