Added Server::stop()