From 15ecde413365fdf52280a83b40be234e192f3c5b Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Fri, 9 Aug 2002 02:48:25 +0000
Subject: [PATCH] Slight tweak to remove login button for ordinary users

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index f006657b58..881c48ed21 100644
--- 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", "", "",
-- 
2.39.5