From 8b19b040856aa69136160012cbe0bf0d24a1dc82 Mon Sep 17 00:00:00 2001
From: mjollnir_ <mjollnir_>
Date: Tue, 23 Nov 2004 00:39:29 +0000
Subject: [PATCH] Bug fix for patch related to forcing searching in
 course/student.(html|php) if too many users, and bump to MAX_USERS_PER_PAGE
 to 5000

---
 course/student.html | 2 +-
 course/student.php  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/course/student.html b/course/student.html
index d47068da90..0dea5eb9a1 100644
--- 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 4a42bb6287..7e074998fd 100644
--- 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, "");
-- 
2.39.5