Added Server::quit()