Some little fixes (can only see them on a server with lots of users!)

diff --git a/admin/admin.php b/admin/admin.php
index da87eb1ca927c372289898a02c79f2aafcd9765c..e393c180f269647fb919d55588d70022eb777305 100644 (file)
--- a/admin/admin.php
+++ b/admin/admin.php
@@ -7,6 +7,7 @@
 
     optional_variable($add, "");
     optional_variable($remove, "");
+    optional_variable($search, "");
 
     if (! $site = get_site()) {
         redirect("$CFG->wwwroot/$CFG->admin/index.php");

diff --git a/admin/teacher.php b/admin/teacher.php
index 701af60626c3ea45742aff64ad4c03576e389b91..3786513415ac5b617493acaa17f75bca83f40fac 100644 (file)
--- a/admin/teacher.php
+++ b/admin/teacher.php
@@ -5,7 +5,10 @@
 
     define("MAX_USERS_PER_PAGE", 30);
 
-    optional_variable($id);       // course id
+    optional_variable($id);         // course id
+    optional_variable($add, "");
+    optional_variable($remove, "");
+    optional_variable($search, ""); // search string
 
     if (! $site = get_site()) {
         redirect("$CFG->wwwroot/$CFG->admin/index.php");
@@ -30,6 +33,13 @@
     $strsearchagain   = get_string("searchagain");
     $strtoomanytoshow   = get_string("toomanytoshow");
 
+    if ($search) {
+        $searchstring = $strsearchagain;
+    } else {
+        $searchstring = $strsearch;
+    }
+
+
     if (!$id) {
            print_header("$site->shortname: $strassignteachers", "$site->fullname", 
                      "<a href=\"index.php\">$stradministration</a> -> $strassignteachers");
@@ -181,6 +191,7 @@
 
     if ($search or $usercount > MAX_USERS_PER_PAGE) {
         echo "<form action={$_SERVER['PHP_SELF']} method=post>";
+        echo "<input type=hidden name=id value=\"$course->id\">";
         echo "<input type=text name=search size=20>";
         echo "<input type=submit value=\"$searchstring\">";
         echo "</form>";