com web/php: This hasn't been relevant in a long time: include/get-download.inc

Commit: 766bf21ed7d77d237adfb1694588c2996ac9ebc0 Author: Hannes Magnusson <bjori@mongodb.com> Wed, 20 Nov 2013 13:17:04 -0800 Parents: be886f0f83d6a0b48d375965d68eb94ad4c72048 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=766bf21ed7d77d237adfb1694588c2996ac9ebc0 Log: This hasn't been relevant in a long time Changed paths: M include/get-download.inc Diff: diff --git a/include/get-download.inc b/include/get-download.inc index 92878c3..d1ca357 100644 --- a/include/get-download.inc +++ b/include/get-download.inc @@ -26,16 +26,6 @@ foreach ($possible_files as $name) { if ($file === FALSE) { site_header("Download not found"); - // An executable was requested (temp fix for rsync change) - if (preg_match("!\\.exe$!", $name)) { - $info = "<p> - This mirror site is improperly setup, and thus has - no copy of the executable file you requested. Please - <a href=\"/mirrors\">select a different mirror site</a> - to get the file, until this site gets fixed. -</p>"; - } - else { $info = "<p> The file you requested (<strong> " . htmlspecialchars($df, ENT_QUOTES, "UTF-8") . " </strong>) is not found on this server (<strong>{$MYSITE}</strong>). If this file is a @@ -44,7 +34,6 @@ if ($file === FALSE) { Please come back to this server later, or start the download from another mirror site. </p>"; - } echo <<<EOT <h1>Download not found</h1>