DOn't print teachers with no authority

diff --git a/user/index.php b/user/index.php
index f1fc62d815640f2b006ff3def7a71a78fe4ee454..632d0194be25ce2496ac841b913a3914b3a59c8d 100644 (file)
--- 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);
+            }
         }
     }