From 09794d30dba5684402b8483ef641577f14c76e38 Mon Sep 17 00:00:00 2001
From: defacer <defacer>
Date: Mon, 9 Aug 2004 08:01:40 +0000
Subject: [PATCH] Fix a notice buried in the HTML.

---
 course/student.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/course/student.html b/course/student.html
index c8dec7562b..af6f16a9d4 100644
--- a/course/student.html
+++ b/course/student.html
@@ -47,9 +47,11 @@
                   }
                   echo "</optgroup>\n";
               }
-              foreach ($users as $user) {
-                  $fullname = fullname($user, true);
-                  echo "<option value=\"$user->id\">".$fullname.", ".$user->email."</option>\n";
+              if (!empty($users)) {
+                  foreach ($users as $user) {
+                      $fullname = fullname($user, true);
+                      echo "<option value=\"$user->id\">".$fullname.", ".$user->email."</option>\n";
+                  }
               }
           ?>
          </select>
-- 
2.39.5