HTTPServer::__destruct PHP Method