From e5038696367449f2396b76a4041320d7f40b3e2c Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Thu, 15 Feb 2007 20:41:16 +0000
Subject: [PATCH] fixed problems with undefined $USER->mnethostid causing page
 errors in IE during logout

---
 login/logout.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/login/logout.php b/login/logout.php
index c74cfefddd..4714963209 100644
--- 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 {
-- 
2.39.5