16 |
|
|
17 |
<script type="text/javascript"> |
<script type="text/javascript"> |
18 |
var args=getArgs(); |
var args=getArgs(); |
19 |
|
function select_option(value,text,selected) { |
20 |
|
document.write('<option value="'+value+'"'); |
21 |
|
if (value == selected) document.write(' selected'); |
22 |
|
document.write('>'+text+'</option>'); |
23 |
|
} |
24 |
</script> |
</script> |
25 |
|
|
26 |
<form name="search" onsubmit="return go(this);"> |
<form name="search" onsubmit="return go(this);"> |
27 |
<font color="maroon"><b>Query:</b></font> |
<font color="maroon">Query</font> |
28 |
|
<script type="text/javascript"> |
29 |
|
document.write('<select name="index_name">'); |
30 |
|
select_option("lorem","Lorem example",args.index_name); |
31 |
|
select_option("words","Words from dict",args.index_name); |
32 |
|
select_option("homer","Homer: The Odyssey",args.index_name); |
33 |
|
document.write('</select>'); |
34 |
|
</script> |
35 |
|
for |
36 |
<script type="text/javascript"> |
<script type="text/javascript"> |
37 |
document.write("<input name=\"query\" value=\""); |
document.write("<input name=\"query\" value=\""); |
38 |
|
|
39 |
if(args.search) |
if (args.query) { |
40 |
{ |
var search_string = args.query.replace(/\+/gi," "); |
|
var search_string = args.search.replace(/\+/gi," "); |
|
41 |
document.write(search_string); |
document.write(search_string); |
42 |
} |
} |
43 |
|
|
49 |
|
|
50 |
<script type="text/javascript"> |
<script type="text/javascript"> |
51 |
|
|
52 |
if (args.search) |
if (args.query) { |
|
{ |
|
53 |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
54 |
doSearch(args.search, printResults); |
doSearch(args.index_name, args.query, printResults); |
55 |
} |
} |
56 |
|
|
57 |
</script> |
</script> |
60 |
results will be only those documents which contain <b>ALL</b> of the |
results will be only those documents which contain <b>ALL</b> of the |
61 |
requested keywords</p> |
requested keywords</p> |
62 |
|
|
63 |
|
<div id="debug" style="color: gray;"> |
64 |
|
</div> |
65 |
|
|
66 |
</body> |
</body> |
67 |
</html> |
</html> |