@ -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)