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

2007-02-15 20:41:16 +00:00
parent b39552afd3
commit e503869636
1 changed files with 1 additions and 1 deletions
@@ -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 {