From 9a9622f032cd8cb95e4268543eda546eef08fea1 Mon Sep 17 00:00:00 2001
From: Noel Dieschburg <noel.dieschburg@dokeos.com>
Date: Thu, 8 Sep 2011 14:56:14 +0200
Subject: [PATCH] Sets is_platformAdmin and is_allowedCreateCourse before
 redirecting

---
 main/inc/local.inc.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/main/inc/local.inc.php b/main/inc/local.inc.php
index 35ad9ae87e..4b3f194cb0 100644
--- a/main/inc/local.inc.php
+++ b/main/inc/local.inc.php
@@ -644,9 +644,12 @@ if (isset($uidReset) && $uidReset) {    // session data refresh requested
 
 			api_session_register('_user');
 			UserManager::update_extra_field_value($_user['user_id'], 'already_logged_in', 'true');
+			api_session_register('is_platformAdmin');
+			api_session_register('is_allowedCreateCourse');
 
 			require_once api_get_path(LIBRARY_PATH).'loginredirection.lib.php';
 			LoginRedirection::redirect();
+
 		} else {
 			header('location:'.api_get_path(WEB_PATH));
 			//exit("WARNING UNDEFINED UID !! ");