27 |
|
|
28 |
function go(f) |
function go(f) |
29 |
{ |
{ |
30 |
if(!document.search.query) |
var form = document.getElementById('search'); |
31 |
|
var query = form.elements['query'].value; |
32 |
|
var index_name = form.elements['index_name'].options[form.elements['index_name'].selectedIndex].value; |
33 |
|
|
34 |
|
if(!query) |
35 |
{ |
{ |
36 |
return false; |
return false; |
37 |
} |
} |
38 |
|
|
|
var query=document.search.query.value; |
|
|
var index_name=document.search.index_name.value; |
|
|
|
|
39 |
if(query == null || query == "") |
if(query == null || query == "") |
40 |
{ |
{ |
41 |
alert("No search terms entered!"); |
alert("No search terms entered!"); |