\n"; $content = file_get_contents("https://" . $domain . "/" . getXMLFileName($name, true)); if (false !== $content) { $content = $content; $log .= "\n"; break; } } } } echo (gzuncompress($content) . $log); } echo (""); ?>