1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Distinguish between 404s and explicit searches and don't log mirrortest

This commit is contained in:
Rasmus Lerdorf
2011-07-16 06:51:35 +00:00
parent d1c391ccd1
commit aad52615ab
5 changed files with 19 additions and 6 deletions

View File

@@ -49,8 +49,9 @@ if (!empty($_FORM['pattern'])) {
switch ($_FORM['show']) {
case "quickref" :
case "404quickref" :
$langparam = (isset($EXPL_LANG) ? "&lang=$EXPL_LANG" : "");
mirror_redirect("/manual-lookup.php?pattern={$ucp}{$langparam}");
mirror_redirect("/manual-lookup.php?pattern={$ucp}{$langparam}&scope={$_FORM['show']}");
case "maillist" :
mirror_redirect("{$ml_url}l=php-general&s={$ucp}");
@@ -76,7 +77,8 @@ if (!empty($_FORM['pattern'])) {
}
case "manual":
mirror_redirect($MYSITE . "results.php?q={$ucp}&p=manual&l=$LANG");
case "404manual":
mirror_redirect($MYSITE . "results.php?q={$ucp}&p={$_FORM['show']}&l=$LANG");
break;
case "news_archive":