Made is_mnet_remote_user() a bit more robust MDL-8253

2007-01-22 08:25:20 +00:00
parent 298481260e
commit 8f8de2cc87
1 changed files with 1 additions and 1 deletions
@@ -6626,7 +6626,7 @@ function is_mnet_remote_user($user) {
        unset($env);
    }

-    return ($user->mnethostid != $CFG->mnet_localhost_id);
+    return (!empty($user->mnethostid) && $user->mnethostid != $CFG->mnet_localhost_id);
 }

 /**