33 |
} |
} |
34 |
|
|
35 |
var query=document.search.query.value; |
var query=document.search.query.value; |
36 |
var index_name=document.search.index.value; |
var index_name=document.search.index_name.value; |
37 |
|
|
38 |
if(query == null || query == "") |
if(query == null || query == "") |
39 |
{ |
{ |
44 |
var parsed_string = query.replace(/\s/gi,"+"); |
var parsed_string = query.replace(/\s/gi,"+"); |
45 |
//var url=location.host+location.pathname+"?search="+parsed_string; |
//var url=location.host+location.pathname+"?search="+parsed_string; |
46 |
var url=location.pathname+"?"; |
var url=location.pathname+"?"; |
47 |
if (index) url += "index_name="+index_name+"&"; |
if (index_name) url += "index_name="+index_name+"&"; |
48 |
url += "search="+parsed_string; |
url += "query="+parsed_string; |
49 |
location = url; |
location = url; |
50 |
|
|
51 |
return false; |
return false; |