Slight tweak to remove login button for ordinary users

diff --git a/index.php b/index.php
index f006657b58f35e2e1524dcc84540f81546b1ff18..881c48ed216a0ab281e03a7f1d9983f9b697d3df 100644 (file)
--- a/index.php
+++ b/index.php
@@ -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", "", "",