adding missing global breaking some mnet jumping

This commit is contained in:
Petr Skoda 2010-09-18 11:24:21 +00:00
parent 09511cd3be
commit 6c6b2b1024

View file

@ -9572,6 +9572,8 @@ function set_mnet_remote_client($client) {
* @param stdclass $user the user to get the idp url for
*/
function mnet_get_idp_jump_url($user) {
global $CFG;
static $mnetjumps = array();
if (!array_key_exists($user->mnethostid, $mnetjumps)) {
$idp = mnet_get_peer_host($user->mnethostid);