From 009f39beab2c374decc0aeea44fc798f6d2ecb28 Mon Sep 17 00:00:00 2001
From: gustav_delius <gustav_delius>
Date: Wed, 2 Mar 2005 19:49:04 +0000
Subject: [PATCH] fixed bug caused by user_login_string() being called with
 course id instead of course object

---
 lib/weblib.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 0e2e0b1b5ca..3ea647e1920 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1541,9 +1541,9 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
             $wwwroot = str_replace('http','https',$CFG->wwwroot);
         }
         if (isset($course->id)) {
-            $menu = user_login_string($course->id);
+            $menu = user_login_string($course);
         } else {
-            $menu = user_login_string(SITEID);
+            $menu = user_login_string(get_site());
         }
     }