--- trunk/html/js/usage.js	2004/07/20 17:07:20	3
+++ trunk/html/js/usage.js	2004/07/20 17:08:06	4
@@ -33,6 +33,7 @@
   }
 
   var query=document.search.query.value;
+  var index_name=document.search.index.value;
 
   if(query == null || query == "")
   {
@@ -42,7 +43,9 @@
 
   var parsed_string = query.replace(/\s/gi,"+");
   //var url=location.host+location.pathname+"?search="+parsed_string;
-  var url=location.pathname+"?search="+parsed_string;
+  var url=location.pathname+"?";
+  if (index) url += "index_name="+index_name+"&";
+  url += "search="+parsed_string;
   location = url;
 
   return false;