Added stop() method to Server.