From 619431ba3fd24eaedb11affc8caff50ecaa210cb Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Wed, 5 Jun 2002 05:54:47 +0000
Subject: [PATCH] Doesn't display teachers or students if there aren't any

---
 user/index.php | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/user/index.php b/user/index.php
index 26df7feb13..67b8b76f0c 100644
--- a/user/index.php
+++ b/user/index.php
@@ -26,28 +26,24 @@
 
     $teacherlinks = isteacher($course->id);
 
-    echo "<H2 align=center>".$course->teacher."s</H2>";
 
     if ( $teachers = get_records_sql("SELECT u.* FROM user u, user_teachers t 
                                        WHERE t.course = '$course->id' AND t.user = u.id
                                        ORDER BY t.authority")) {
+        echo "<H2 align=center>".$course->teacher."s</H2>";
         foreach ($teachers as $teacher) {
             print_user($teacher, $course, $teacherlinks);
         }
-    } else {
-        notify("None yet");
     }
 
-    echo "<H2 align=center>".$course->student."s</H2>";
     if ($students = get_records_sql("SELECT u.* FROM user u, user_students s 
                                        WHERE s.course = '$course->id' AND s.user = u.id
                                        ORDER BY u.lastaccess DESC")) {
+        echo "<H2 align=center>".$course->student."s</H2>";
         foreach ($students as $student) {
             print_user($student, $course, $teacherlinks);
         }
-    } else {
-        notify("None yet");
-    }
+    } 
 
     print_footer($course);
 
-- 
2.39.5