From f144c3054ad950f212162eaad2a37968b404d36c Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sun, 1 Sep 2002 14:30:39 +0000
Subject: [PATCH] DOn't print teachers with no authority

---
 user/index.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/user/index.php b/user/index.php
index f1fc62d815..632d0194be 100644
--- a/user/index.php
+++ b/user/index.php
@@ -36,7 +36,9 @@
     if ( $teachers = get_course_teachers($course->id)) {
         echo "<H2 align=center>".$course->teacher."s</H2>";
         foreach ($teachers as $teacher) {
-            print_user($teacher, $course, $string);
+            if ($teacher->authority > 0) {    // Don't print teachers with no authority
+                print_user($teacher, $course, $string);
+            }
         }
     }
 
-- 
2.39.5