Minor: Clean code from flintci - refs BT#18997

4 years ago · 4317eaa8d8
parent 772fe61478
commit 4317eaa8d8
3 changed files with 2 additions and 3 deletions
--- a/main/inc/local.inc.php
+++ b/main/inc/local.inc.php
@ -378,7 +378,6 @@ if (!empty($_SESSION['_user']['user_id']) && !($login || $logout)) {
                        Session::write('_user', $_user);
                        Event::eventLogin($_user['user_id']);
                        $logging_in = true;
                    } else {
                        phpCAS::logout();
                        header(