Include guest user in list of users

diff --git a/course/lib.php b/course/lib.php
index 6fa7e0bc5b33aa80ba4bec69ac39a08f037c8064..b7cf38c04a6e5563bd70fa6a214dd17a40ecd41d 100644 (file)
--- 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()) {