diff options
author | Scott Ullrich <sullrich@pfsense.org> | 2007-11-19 00:33:25 +0000 |
---|---|---|
committer | Scott Ullrich <sullrich@pfsense.org> | 2007-11-19 00:33:25 +0000 |
commit | a54b3d2dbc4273630fabe58576f82240af2d2ab2 (patch) | |
tree | 46689d69b5aa88296af54907e39149b584b73732 /etc/inc/authgui.inc | |
parent | 0b70925e4807107af1210fc08fb6d61797a3b568 (diff) | |
download | pfsense-a54b3d2dbc4273630fabe58576f82240af2d2ab2.zip pfsense-a54b3d2dbc4273630fabe58576f82240af2d2ab2.tar.gz |
Nuke code that does nothing.
Diffstat (limited to 'etc/inc/authgui.inc')
-rw-r--r-- | etc/inc/authgui.inc | 27 |
1 files changed, 4 insertions, 23 deletions
diff --git a/etc/inc/authgui.inc b/etc/inc/authgui.inc index f8c21d6..99e07a6 100644 --- a/etc/inc/authgui.inc +++ b/etc/inc/authgui.inc @@ -58,25 +58,6 @@ if (isset($_POST['scriptname']) && isSystemAdmin($HTTP_SERVER_VARS['AUTH_USER']) exit; } -/* TODO: Needs testing -if ($_SESSION) { - if (isset($_SESSION['Pages'])) { - $pfPages = getPageObjectFromSession(); - } else { - $pfPages = getPageObject($HTTP_SERVER_VARS['AUTH_USER']); - $pages =& $pfPages->getPages(); - $pages_index =& $pfPages->getPagesIndex(); - $allowed_pages_index =& $pfPages->getAllowedPagesIndex(); - - $_SESSION['Pages'] = serialize($pages); - $_SESSION['Pages_Index'] = serialize($pages_index); - $_SESSION['Allowed_Pages_Index'] = serialize($allowed_pages_index); - } -} else { - $pfPages = getPageObject($HTTP_SERVER_VARS['AUTH_USER']); -} -*/ - // Once here, the user has authenticated with the web server. // Now, we give them access only to the appropriate pages for their group. if (!(isSystemAdmin($HTTP_SERVER_VARS['AUTH_USER']))) { @@ -101,10 +82,10 @@ if (!(isSystemAdmin($HTTP_SERVER_VARS['AUTH_USER']))) { // If the user is attempting to hit the default page, set it to specifically look for /index.php. // Without this, any user would have access to the index page. - //if ($_SERVER['SCRIPT_NAME'] == '/') - // $_SERVER['SCRIPT_NAME'] = $home; - if ($pagereq == "") - $pagereq = str_replace('/', '', basename($_SERVER['SCRIPT_NAME'])); + if ($_SERVER['SCRIPT_NAME'] == '/') + $_SERVER['SCRIPT_NAME'] = $home; + if ($pagereq == "") + $pagereq = str_replace('/', '', basename($_SERVER['SCRIPT_NAME'])); // Strip the leading / from the currently requested PHP page if (!in_array($pagereq,$allowed) && !in_array("ANY", $allowed)) { |