fixed problems with undefined $USER->mnethostid causing page errors in IE during...

diff --git a/login/logout.php b/login/logout.php
index c74cfefddd26e70032c2971e8e7fe4338a8c12da..4714963209245a2e31db11a17fa5b50dd530a532 100644 (file)
--- a/login/logout.php
+++ b/login/logout.php
@@ -3,7 +3,7 @@
 
     require_once("../config.php");
 
-    if ($USER->mnethostid != $CFG->mnet_localhost_id) {
+    if (!empty($USER->mnethostid) and $USER->mnethostid != $CFG->mnet_localhost_id) {
         $host = get_record('mnet_host', 'id', $USER->mnethostid);
         $wwwroot = $host->wwwroot;
     } else {