Bug fix for patch related to forcing searching in course/student.(html|php) if too...

diff --git a/course/student.html b/course/student.html
index d47068da90595e11263e27212df55659d8916481..0dea5eb9a152fa603b561472757d4b2fffb1043b 100644 (file)
--- a/course/student.html
+++ b/course/student.html
@@ -49,7 +49,7 @@
                   }
                   echo "</optgroup>\n";
               }
-              if (!empty($users)) {
+             else {
                   if ($usercount > MAX_USERS_PER_PAGE) {
                       echo '<optgroup label="'.get_string('toomanytoshow').'"><option></option></optgroup>'."\n"
                           .'<optgroup label="'.get_string('trysearching').'"><option></option></optgroup>'."\n";

diff --git a/course/student.php b/course/student.php
index 4a42bb628733e5f20d5f754616faeb848cea4c6a..7e074998fd211b33044a2e60ccda254a57d2bac2 100644 (file)
--- a/course/student.php
+++ b/course/student.php
@@ -3,7 +3,7 @@
 
     require_once("../config.php");
 
-    define("MAX_USERS_PER_PAGE", 1000);
+    define("MAX_USERS_PER_PAGE", 5000);
 
     require_variable($id);         // course id
     optional_variable($add, "");