Merged search trim from stable

2004-11-04 07:15:50 +00:00
parent 81b7339acf
commit 56c178a754
1 changed files with 2 additions and 0 deletions
@@ -18,6 +18,8 @@
    unset($admin);
    unset($teacher);

+    $search = trim($search);
+
    if (! record_exists("user_admins")) {   // No admin user yet

        $user->firstname = get_string("admin");