Slight tweak to remove login button for ordinary users

2002-08-09 02:48:25 +00:00
parent 53bfe78cd4
commit 15ecde4133
1 changed files with 1 additions and 1 deletions
@@ -15,7 +15,7 @@
            redirect("$CFG->wwwroot/admin/");
        }
        $headerbutton = update_course_icon($site->id);
-    } else {
+    } else if (!isset($USER->id)) {
        $headerbutton = "<FONT SIZE=2><A HREF=\"login/\">".get_string("login")."</A></FONT>";
    }
    print_header("$site->fullname", "$site->fullname", "", "",