com web/php: We haven't used this for a while: error.php track_ref.php

Commit: a6651e93c9ab16bc9d1e47e05dcc5c9937ffd9db Author: Hannes Magnusson <bjori@mongodb.com> Wed, 20 Nov 2013 16:40:58 -0800 Parents: ada757b74dc8b080a399adde3b73408c69423225 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=a6651e93c9ab16bc9d1e47e05dcc5c9937ffd9db Log: We haven't used this for a while Changed paths: M error.php D track_ref.php Diff: diff --git a/error.php b/error.php index 766a81b..9e1dbe9 100644 --- a/error.php +++ b/error.php @@ -120,10 +120,6 @@ if (preg_match("!^manual/(\\w+)/(print|printwn|html)((/.+)|$)!", $URI, $array)) // If someone is looking for something in distributions/* and it isn't there, // send them to the /releases page since that is likely to be most helpful. if (preg_match("!^distributions/.*!", $URI, $array)) { - // Debug: Logging referrers to www.php.net temporarily - // if(!empty($_SERVER['HTTP_REFERER'])) { - // file_get_contents("http://www.php.net/track_ref.php?url=".$_SERVER['SERVER_NAME'].'/'.urlencode($URI).'&ref='.urlencode($_SERVER['HTTP_REFERER'])); - // } mirror_redirect("/releases/"); } diff --git a/track_ref.php b/track_ref.php deleted file mode 100644 index 458b70d..0000000 --- a/track_ref.php +++ /dev/null @@ -1,7 +0,0 @@ -<?php -if(!empty($_GET['ref']) && !empty($_GET['url'])) { - file_put_contents("/var/tmp/refer.txt","{$_GET['url']} from {$_GET['ref']}\n",FILE_APPEND); - echo "OK"; -} -?> -KO