diff options
Diffstat (limited to 'etc/inc')
| -rw-r--r-- | etc/inc/authgui.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/inc/authgui.inc b/etc/inc/authgui.inc index 2bfe6fd..c7b2d49 100644 --- a/etc/inc/authgui.inc +++ b/etc/inc/authgui.inc @@ -76,6 +76,7 @@ if (isset($_POST['scriptname']) && isSystemAdmin($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']))) {
$_SESSION['privs'] = getAllowedGroups($HTTP_SERVER_VARS['AUTH_USER']);
$allowed = $_SESSION['privs'];
@@ -315,4 +316,4 @@ function display_login_form() { <?php
} // end function
-?>
+?>
\ No newline at end of file |
