cvs: phpweb / error.php
| From: | Gabor Hojtsy | Date: | Sat, 09 Aug 2003 09:35:00 +0000 |
| Subject: | cvs: phpweb / error.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-20038@lists.php.net to get a copy of this message | ||
goba Sat Aug 9 05:35:00 2003 EDT
Added files:
/phpweb error.php
Log:
Add error handler here, as discussed,
- prevent infinite redirection loop with the shortcut /error
- use $_SERVER['DOCUMENT_ROOT'] instead of $DOCUMENT_ROOT,
so register_globals is not needed here anymore
Index: phpweb/error.php +++ phpweb/error.php <?php // $Id: error.php,v 1.1 2003/08/09 09:35:00 goba Exp $ /* This script handles all 401, 403 and 404 error redirects, and some directory requests (like /images). Uses the preferred language setting and the REQUEST_URI to guess what page should be displayed. In case there is no page that can be displayed, the user is redirected to a search page. */ // Ensure that our environment is set up include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/loadavg.inc'; // Get URI for this request (without the leading slash) // See langchooser.inc for more info on STRIPPED_URI // Also decode special URL parts, eg %20 into a space $URI = urldecode(substr($_SERVER['STRIPPED_URI'], 1)); // ============================================================================ // For images, display a 404 automatically (no redirect) if (preg_match("!\\.(pdf|gif|jpg|png)$!i", $URI)) { make404(); } // ============================================================================ // BC: handle .php3 files that were renamed to .php if (preg_match("!(.*\\.php)3$!", $URI, $array)) { mirror_redirect("/$array[1]"); } // ============================================================================ // BC: handle bugs.php moved completely to bugs.php.net if (preg_match("!^bugs.php?(.+)$!", $URI, $array)) { mirror_redirect("http://bugs.php.net/?$array[1]", TRUE); } // ============================================================================ // BC: handle moving english manual down into its own directory (also supports // default language manual accessibilty on mirror sites through /manual/filename) if (preg_match("!^manual(/[^/]*)$!", $URI, $array)) { mirror_redirect("/manual/$LANG$array[1]"); } elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) { $array[1] = preg_replace("!.html$!", ".php", $array[1]); mirror_redirect("/manual/$LANG/print/$array[1]"); } // ============================================================================ // Printer friendly manual page handling. It's important that this is included, // and not redirected, as this way all relative URL's will retain their meaning // and point to pages relative to the print dir (which is nonexistent) // We need to override the 404 status in these cases too. if (preg_match("!^manual/(\\w+)/(print|printwn)/(.+\\.php)$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; } include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]"; exit; } // BC: for old HTML directory (.html extension was used in that) elseif (preg_match("!^manual/(\\w+)/html/(.+)\\.(html|php)$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php"; exit; } // The index file needs to be handled in a special way elseif (preg_match("!^manual/(\\w+)/(print|printwn|html)(/)?$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; } include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php"; exit; } // ============================================================================ // Some nice URLs for getting something for download if (preg_match("!^get/([^/]+)$!", $URI, $what)) { switch ($what[1]) { case "php" : $URI = "downloads"; break; case "docs" : // intentional case "documentation" : $URI = "download-docs"; break; case "dochowto" : // intentional case "phpdochowto" : $URI = "getdochowto"; break; } } // ============================================================================ // Nice URLs for download files, so wget works completely well with download links if (preg_match("!^get/([^/]+)/from/([^/]+)(/mirror)?$!", $URI, $dlinfo)) { $df = $dlinfo[1]; // Mirror selection page if ($dlinfo[2] == "a") { include_once $_SERVER['DOCUMENT_ROOT'] . "/get_download.php"; exit; } // The same mirror is selected if ($dlinfo[2] == "this") { $mr = $MYSITE; } // Some other mirror is selected else { $mr = "http://{$dlinfo[2]}/"; } // Start the download process include "do-download.inc"; download_file($mr, $df); exit; } // Work with lowercased URI from now $URI = strtolower($URI); // ============================================================================ // Define shortcuts for PHP files, manual pages and external redirects $uri_aliases = array ( # PHP page shortcuts "download" => "downloads", "getphp" => "downloads", "getdocs" => "download-docs", "documentation" => "docs", "mailinglists" => "mailing-lists", "mailinglist" => "mailing-lists", "changelog" => "ChangeLog-4", "gethelp" => "support", "help" => "support", "unsubscribe" => "unsub", "subscribe" => "mailing-lists", "logos" => "download-logos", # manual shortcuts "ini" => "configuration", "install" => "installation", "intro" => "introduction", "whatis" => "introduction", "whatisphp" => "introduction", "what_is_php" => "introduction", "windows" => "install.windows", "win32" => "install.windows", "globals" => "language.variables.predefined", "register_globals" => "security.registerglobals", "registerglobals" => "security.registerglobals", "gd" => "image", "tut" => "tutorial", "tut.php" => "tutorial", // BC "faq.php" => "faq", // BC "bugs.php" => "bugs", // BC "bugstats.php" => "bugstats", // BC "icap" => "mcal", // mcal is the successor of icap "README.mirror" => "mirroring", // BC "ZEND_CHANGES.txt" => "zend-engine-2.php", // BC "zend2_example.phps" => "zend-engine-2.php", // BC "manual/about-notes.php" => "manual/add-note", // BC # external shortcut aliases ;) "dochowto" => "phpdochowto", "projects.php" => "projects", // BC ); $external_redirects = array( "php4news" => "http://cvs.php.net/cvs.php/php-src/NEWS?onb=1.1247.2", "php5news" => "http://cvs.php.net/co.php/php-src/NEWS?p=1", "projects" => "http://freshmeat.net/browse/183/", "pear" => "http://pear.php.net/", "bugs" => "http://bugs.php.net/", "bugstats" => "http://bugs.php.net/bugstats.php", "phpdochowto" => "/manual/howto/index.html", "getdochowto" => "http://cvs.php.net/co.php/phpdoc/howto/howto.html.tar.gz?p=1", "rev" => "/manual/$LANG/revcheck.html.gz", "blog" => "/manual/$LANG/build.log.gz", ); // ============================================================================ // "Rewrite" the URL, if it was a shortcut if (isset($uri_aliases[$URI])) { $URI = $uri_aliases[$URI]; } // ============================================================================ // Redirect if the entered URI was a PHP page name (except the books page, // which we display in the mirror's language or the explicitly specified // language [see below]) if (!in_array($URI, array('books', 'mirror-info', 'error')) && file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) { mirror_redirect("/$URI.php"); } // ============================================================================ // Execute external redirect if a rule exists for the URI if (isset($external_redirects[$URI])) { $true_external = (substr($external_redirects[$URI], 0, 1) != '/'); mirror_redirect($external_redirects[$URI], $true_external); } // Temporary hack for books and mirror-info, until all the pages // will be capable of being included from anywhere if (in_array($URI, array('books', 'mirror-info'))) { include_once $_SERVER['DOCUMENT_ROOT'] . "/$URI.php"; } // ============================================================================ // Try to find the page using the preferred language as a manual page include_once "manual-lookup.inc"; $try = find_manual_page($LANG, $URI); if ($try) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); include_once $_SERVER['DOCUMENT_ROOT'] . $try; exit; } // ============================================================================ // If no match was found till this point, the last action is to start a // search with the URI the user typed in $fallback = (myphpnet_urlsearch() === MYPHPNET_URL_MANUAL ? "manual" : "quickref"); mirror_redirect( '/search.php?show=' . $fallback . '&lang=' . urlencode($LANG) . '&pattern=' . urlencode(substr($_SERVER['REQUEST_URI'], 1)) ); // A 'good looking' 404 error message page function make404() { global $_SERVER; @header('HTTP/1.1 404 Not Found'); @header('Status: 404 Not Found',1,404); header("Cache-Control: public, max-age=600"); commonHeader('404 Not Found'); echo "<h1>Not Found</h1>\n", "<p>The page <b>", htmlspecialchars($_SERVER['REQUEST_URI']), "</b> could not be found.</p>\n"; commonFooter(); exit; } ?>
Index: phpweb/error.php +++ phpweb/error.php <?php // $Id: error.php,v 1.1 2003/08/09 09:35:00 goba Exp $ /* This script handles all 401, 403 and 404 error redirects, and some directory requests (like /images). Uses the preferred language setting and the REQUEST_URI to guess what page should be displayed. In case there is no page that can be displayed, the user is redirected to a search page. */ // Ensure that our environment is set up include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/loadavg.inc'; // Get URI for this request (without the leading slash) // See langchooser.inc for more info on STRIPPED_URI // Also decode special URL parts, eg %20 into a space $URI = urldecode(substr($_SERVER['STRIPPED_URI'], 1)); // ============================================================================ // For images, display a 404 automatically (no redirect) if (preg_match("!\\.(pdf|gif|jpg|png)$!i", $URI)) { make404(); } // ============================================================================ // BC: handle .php3 files that were renamed to .php if (preg_match("!(.*\\.php)3$!", $URI, $array)) { mirror_redirect("/$array[1]"); } // ============================================================================ // BC: handle bugs.php moved completely to bugs.php.net if (preg_match("!^bugs.php?(.+)$!", $URI, $array)) { mirror_redirect("http://bugs.php.net/?$array[1]", TRUE); } // ============================================================================ // BC: handle moving english manual down into its own directory (also supports // default language manual accessibilty on mirror sites through /manual/filename) if (preg_match("!^manual(/[^/]*)$!", $URI, $array)) { mirror_redirect("/manual/$LANG$array[1]"); } elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) { $array[1] = preg_replace("!.html$!", ".php", $array[1]); mirror_redirect("/manual/$LANG/print/$array[1]"); } // ============================================================================ // Printer friendly manual page handling. It's important that this is included, // and not redirected, as this way all relative URL's will retain their meaning // and point to pages relative to the print dir (which is nonexistent) // We need to override the 404 status in these cases too. if (preg_match("!^manual/(\\w+)/(print|printwn)/(.+\\.php)$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; } include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[3]"; exit; } // BC: for old HTML directory (.html extension was used in that) elseif (preg_match("!^manual/(\\w+)/html/(.+)\\.(html|php)$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/$parts[2].php"; exit; } // The index file needs to be handled in a special way elseif (preg_match("!^manual/(\\w+)/(print|printwn|html)(/)?$!", $URI, $parts) && @file_exists($_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php")) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); $PRINT_PAGE = TRUE; if ($parts[2] == "printwn") { $PRINT_NOTES = TRUE; } include $_SERVER['DOCUMENT_ROOT'] . "/manual/$parts[1]/index.php"; exit; } // ============================================================================ // Some nice URLs for getting something for download if (preg_match("!^get/([^/]+)$!", $URI, $what)) { switch ($what[1]) { case "php" : $URI = "downloads"; break; case "docs" : // intentional case "documentation" : $URI = "download-docs"; break; case "dochowto" : // intentional case "phpdochowto" : $URI = "getdochowto"; break; } } // ============================================================================ // Nice URLs for download files, so wget works completely well with download links if (preg_match("!^get/([^/]+)/from/([^/]+)(/mirror)?$!", $URI, $dlinfo)) { $df = $dlinfo[1]; // Mirror selection page if ($dlinfo[2] == "a") { include_once $_SERVER['DOCUMENT_ROOT'] . "/get_download.php"; exit; } // The same mirror is selected if ($dlinfo[2] == "this") { $mr = $MYSITE; } // Some other mirror is selected else { $mr = "http://{$dlinfo[2]}/"; } // Start the download process include "do-download.inc"; download_file($mr, $df); exit; } // Work with lowercased URI from now $URI = strtolower($URI); // ============================================================================ // Define shortcuts for PHP files, manual pages and external redirects $uri_aliases = array ( # PHP page shortcuts "download" => "downloads", "getphp" => "downloads", "getdocs" => "download-docs", "documentation" => "docs", "mailinglists" => "mailing-lists", "mailinglist" => "mailing-lists", "changelog" => "ChangeLog-4", "gethelp" => "support", "help" => "support", "unsubscribe" => "unsub", "subscribe" => "mailing-lists", "logos" => "download-logos", # manual shortcuts "ini" => "configuration", "install" => "installation", "intro" => "introduction", "whatis" => "introduction", "whatisphp" => "introduction", "what_is_php" => "introduction", "windows" => "install.windows", "win32" => "install.windows", "globals" => "language.variables.predefined", "register_globals" => "security.registerglobals", "registerglobals" => "security.registerglobals", "gd" => "image", "tut" => "tutorial", "tut.php" => "tutorial", // BC "faq.php" => "faq", // BC "bugs.php" => "bugs", // BC "bugstats.php" => "bugstats", // BC "icap" => "mcal", // mcal is the successor of icap "README.mirror" => "mirroring", // BC "ZEND_CHANGES.txt" => "zend-engine-2.php", // BC "zend2_example.phps" => "zend-engine-2.php", // BC "manual/about-notes.php" => "manual/add-note", // BC # external shortcut aliases ;) "dochowto" => "phpdochowto", "projects.php" => "projects", // BC ); $external_redirects = array( "php4news" => "http://cvs.php.net/cvs.php/php-src/NEWS?onb=1.1247.2", "php5news" => "http://cvs.php.net/co.php/php-src/NEWS?p=1", "projects" => "http://freshmeat.net/browse/183/", "pear" => "http://pear.php.net/", "bugs" => "http://bugs.php.net/", "bugstats" => "http://bugs.php.net/bugstats.php", "phpdochowto" => "/manual/howto/index.html", "getdochowto" => "http://cvs.php.net/co.php/phpdoc/howto/howto.html.tar.gz?p=1", "rev" => "/manual/$LANG/revcheck.html.gz", "blog" => "/manual/$LANG/build.log.gz", ); // ============================================================================ // "Rewrite" the URL, if it was a shortcut if (isset($uri_aliases[$URI])) { $URI = $uri_aliases[$URI]; } // ============================================================================ // Redirect if the entered URI was a PHP page name (except the books page, // which we display in the mirror's language or the explicitly specified // language [see below]) if (!in_array($URI, array('books', 'mirror-info', 'error')) && file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) { mirror_redirect("/$URI.php"); } // ============================================================================ // Execute external redirect if a rule exists for the URI if (isset($external_redirects[$URI])) { $true_external = (substr($external_redirects[$URI], 0, 1) != '/'); mirror_redirect($external_redirects[$URI], $true_external); } // Temporary hack for books and mirror-info, until all the pages // will be capable of being included from anywhere if (in_array($URI, array('books', 'mirror-info'))) { include_once $_SERVER['DOCUMENT_ROOT'] . "/$URI.php"; } // ============================================================================ // Try to find the page using the preferred language as a manual page include_once "manual-lookup.inc"; $try = find_manual_page($LANG, $URI); if ($try) { @header('HTTP/1.1 200 OK'); @header('Status: 200 OK',1,200); include_once $_SERVER['DOCUMENT_ROOT'] . $try; exit; } // ============================================================================ // If no match was found till this point, the last action is to start a // search with the URI the user typed in $fallback = (myphpnet_urlsearch() === MYPHPNET_URL_MANUAL ? "manual" : "quickref"); mirror_redirect( '/search.php?show=' . $fallback . '&lang=' . urlencode($LANG) . '&pattern=' . urlencode(substr($_SERVER['REQUEST_URI'], 1)) ); // A 'good looking' 404 error message page function make404() { global $_SERVER; @header('HTTP/1.1 404 Not Found'); @header('Status: 404 Not Found',1,404); header("Cache-Control: public, max-age=600"); commonHeader('404 Not Found'); echo "<h1>Not Found</h1>\n", "<p>The page <b>", htmlspecialchars($_SERVER['REQUEST_URI']), "</b> could not be found.</p>\n"; commonFooter(); exit; } ?>