From 122cffc93891c7557721ba05959e5d3969e2b1f5 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Wed, 11 Sep 2002 02:26:56 +0000
Subject: [PATCH] Include guest user in list of users

---
 course/lib.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/course/lib.php b/course/lib.php
index 6fa7e0bc5b..b7cf38c04a 100644
--- a/course/lib.php
+++ b/course/lib.php
@@ -31,6 +31,9 @@ function print_log_selector_form($course, $selecteduser=0, $selecteddate="today"
                 $users["$teacher->id"] = "$teacher->firstname $teacher->lastname";
             }
         }
+        if ($guest = get_user_info_from_db("username", "guest")) {
+            $users["$guest->id"] = "$guest->firstname $guest->lastname";
+        }
     }
 
     if (isadmin()) {
-- 
2.39.5