From 8aef17aa8d064f37df94e8eae20d8ff03ac4769c Mon Sep 17 00:00:00 2001 From: Noel Dieschburg Date: Thu, 29 Sep 2011 12:21:04 +0200 Subject: [PATCH] local.inc.php : adds a $_SESSION['_user]['uidReset'] boolean var that makes next page view reseeting user session content. This is usefull for external script that logs user in --- main/inc/local.inc.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/main/inc/local.inc.php b/main/inc/local.inc.php index fe672a16fe..ae9e98ce79 100644 --- a/main/inc/local.inc.php +++ b/main/inc/local.inc.php @@ -182,6 +182,11 @@ $login = isset($_POST["login"]) ? $_POST["login"] : ''; if (!empty($_SESSION['_user']['user_id']) && ! ($login || $logout)) { // uid is in session => login already done, continue with this value $_user['user_id'] = $_SESSION['_user']['user_id']; + //Check if we have to reset user data + //This param can be used to reload user data if user has been logged by external script + if (isset($_SESSION['_user']['uidReset']) && $_SESSION['_user']['uidReset']){ + $uidReset=true; + } } else { if (isset($_user['user_id'])) { unset($_user['user_id']); @@ -608,6 +613,7 @@ if ($gidReq && $gidReq != $gid) { /* USER INIT */ if (isset($uidReset) && $uidReset) { // session data refresh requested + unset($_SESSION['_user']['uidReset']); $is_platformAdmin = false; $is_allowedCreateCourse = false; if (isset($_user['user_id']) && $_user['user_id']) // a uid is given (log in succeeded)