From ef5fc899a492d3fcaba8fc1cdaf17134dfe62d96 Mon Sep 17 00:00:00 2001 From: Daniel James Date: Wed, 16 Nov 2011 22:38:03 +0000 Subject: [PATCH] Website: Merge from beta to live. [SVN r75518] --- doc/display_libs.php | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/display_libs.php b/doc/display_libs.php index e0f0189d..e07cb4d5 100644 --- a/doc/display_libs.php +++ b/doc/display_libs.php @@ -8,6 +8,14 @@ if (strpos($_SERVER['REQUEST_URI'], '//') !== FALSE) exit(0); } +if (strncmp($_SERVER['REQUEST_URI'], '/doc/libs/1_', 12) == 0 && + is_dir("$_SERVER[DOCUMENT_ROOT]/$_SERVER[REQUEST_URI]") && + is_readable("$_SERVER[DOCUMENT_ROOT]/$_SERVER[REQUEST_URI]index.html")) +{ + readfile("$_SERVER[DOCUMENT_ROOT]/$_SERVER[REQUEST_URI]/index.html"); + exit(0); +} + require_once(dirname(__FILE__) . '/../common/code/boost_archive.php'); function boost_future_version($version)