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 {