Use fullname for Guest name

2003-11-28 10:32:32 +00:00
parent 2f15e48cf6
commit f5104a2b97
1 changed files with 1 additions and 1 deletions
@@ -42,7 +42,7 @@ function print_log_selector_form($course, $selecteduser=0, $selecteddate="today"
        }
    }
    if ($guest = get_guest()) {
-        $users[$guest->id] = "$guest->firstname $guest->lastname";
+        $users[$guest->id] = fullname($guest);
    }

    if (isadmin()) {