From ab6d2992e8316e3027ebb66937bddad9504aa024 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 21 Feb 2005 13:50:06 +0000
Subject: [PATCH] Search = GET and fixed the dead end when no results to search

---
 admin/user.php | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/admin/user.php b/admin/user.php
index 8ef2ea16575..9ae4bb7b64a 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -280,6 +280,8 @@
             $matchstring = implode(", ", $match);
             print_heading(get_string("nousersmatching", "", $matchstring));
 
+            $table = NULL;
+
         } else {
 
             $countries = get_list_of_countries();
@@ -329,27 +331,27 @@
                                         $deletebutton,
                                         $confirmbutton);
             }
+        }
 
-            echo "<table align=\"center\" cellpadding=\"10\"><tr><td>";
-            echo "<form action=\"user.php\" method=\"post\">";
-            echo "<input type=\"text\" name=\"search\" value=\"$search\" size=\"20\">";
-            echo "<input type=\"submit\" value=\"$strsearch\">";
-            if ($search) {
-                echo "<input type=\"button\" onclick=\"document.location='user.php';\" value=\"$strshowallusers\">";
-            }
-            echo "</form>";
-            echo "</td></tr></table>";
-            print_heading("<a href=\"user.php?newuser=true&sesskey=$USER->sesskey\">".get_string("addnewuser")."</a>");
+        echo "<table class=\"searchbox\" align=\"center\" cellpadding=\"10\"><tr><td>";
+        echo "<form action=\"user.php\" method=\"get\">";
+        echo "<input type=\"text\" name=\"search\" value=\"$search\" size=\"20\">";
+        echo "<input type=\"submit\" value=\"$strsearch\">";
+        if ($search) {
+            echo "<input type=\"button\" onclick=\"document.location='user.php';\" value=\"$strshowallusers\">";
+        }
+        echo "</form>";
+        echo "</td></tr></table>";
+        print_heading("<a href=\"user.php?newuser=true&sesskey=$USER->sesskey\">".get_string("addnewuser")."</a>");
 
+        if (!empty($table)) {
             print_table($table);
-
             print_paging_bar($usercount, $page, $perpage,
                              "user.php?sort=$sort&amp;dir=$dir&amp;perpage=$perpage".
                              "&amp;firstinitial=$firstinitial&amp;lastinitial=$lastinitial&amp;search=$search&amp;");
-
+            print_heading("<a href=\"user.php?newuser=true&sesskey=$USER->sesskey\">".get_string("addnewuser")."</a>");
         }
 
-        print_heading("<a href=\"user.php?newuser=true&sesskey=$USER->sesskey\">".get_string("addnewuser")."</a>");
 
         print_footer();
     }