[Boost-commit] svn:boost r50872 - website/public_html/beta/doc

Subject: [Boost-commit] svn:boost r50872 - website/public_html/beta/doc
From: daniel_james_at_[hidden]
Date: 2009-01-29 10:57:02

Author: danieljames
Date: 2009-01-29 10:57:02 EST (Thu, 29 Jan 2009)
New Revision: 50872
URL: http://svn.boost.org/trac/boost/changeset/50872

Log:
Use  instead of , as  contains more than just the url parameters.
Text files modified: 
   website/public_html/beta/doc/libraries.php |    12 ++++++------                            
   1 files changed, 6 insertions(+), 6 deletions(-)

Modified: website/public_html/beta/doc/libraries.php
==============================================================================
--- website/public_html/beta/doc/libraries.php	(original)
+++ website/public_html/beta/doc/libraries.php	2009-01-29 10:57:02 EST (Thu, 29 Jan 2009)
@@ -32,7 +32,7 @@
 
 // View
 
-$view_value = isset($_REQUEST['view']) ? $_REQUEST['view'] : '';
+$view_value = isset($_GET['view']) ? $_GET['view'] : '';
 
 $category_value = '';
 $filter_value = '';
@@ -58,8 +58,8 @@
 
 // Sort
 
-$sort_value = isset($_REQUEST['sort']) && $_REQUEST['sort'] ?
-    $_REQUEST['sort'] : 'name';
+$sort_value = isset($_GET['sort']) && $_GET['sort'] ?
+    $_GET['sort'] : 'name';
 
 if(!isset($sort_fields[$sort_value])) {
     echo 'Invalid sort field.'; exit(0);
@@ -71,7 +71,7 @@
   $libversion = explode('.',$lib['boost-version']);
   return boost_version($libversion[0],$libversion[1],$libversion[2]) &&
       (!$filter_value || ($lib[$filter_value] && $lib[$filter_value] != 'false')) &&
-      (!isset($_REQUEST['filter']) || $lib[$_REQUEST['filter']]) &&
+      (!isset($_GET['filter']) || $lib[$_GET['filter']]) &&
       (!$category_value || $category_value == 'all' ||
         array_search($category_value, $lib['category']) !== FALSE);
 }
@@ -135,13 +135,13 @@
 function option_link($description, $field, $value)
 {
   $base_uri = preg_replace('![#?].*!', '', $_SERVER['REQUEST_URI']);
-  $current_value = isset($_REQUEST[$field]) ? $_REQUEST[$field] : '';
+  $current_value = isset($_GET[$field]) ? $_GET[$field] : '';
 
   if($current_value == $value) {
     echo '<span>';
   }
   else {
-    $params = $_REQUEST;
+    $params = $_GET;
     $params[$field] = $value;
 
     $url_params = '';