From d69a55e3d647795477606e844f79bb94fc127f24 Mon Sep 17 00:00:00 2001 From: Stephen Jones Date: Fri, 26 Jan 2018 13:37:51 -0600 Subject: [PATCH] Fixed #8297 If user has no page permissions it will automatically log them out so they don't get stuck on the logout page --- src/etc/inc/authgui.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/etc/inc/authgui.inc b/src/etc/inc/authgui.inc index a0f21ed84e..73e94341de 100644 --- a/src/etc/inc/authgui.inc +++ b/src/etc/inc/authgui.inc @@ -73,7 +73,10 @@ if (!isAllowedPage($_SERVER['REQUEST_URI'])) { exit; } else { + // add this so they don't get stuck on the logout page when they have no permissions. + $_SESSION["Logged_In"] = false; display_error_form("201", gettext("No page assigned to this user! Click here to logout.")); + exit; } } else {