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!"); |
59 |
{ |
{ |
60 |
if((m.nodeType == 1) && |
if((m.nodeType == 1) && |
61 |
(m.tagName.toLowerCase() == "div") && |
(m.tagName.toLowerCase() == "div") && |
62 |
|
m.getAttribute("id") && |
63 |
(m.getAttribute("id").toLowerCase() == id.toLowerCase() )) |
(m.getAttribute("id").toLowerCase() == id.toLowerCase() )) |
64 |
{ |
{ |
65 |
return m; |
return m; |
87 |
debug("printResults("+result.length+")"); |
debug("printResults("+result.length+")"); |
88 |
|
|
89 |
var d = findDiv("results"); |
var d = findDiv("results"); |
90 |
|
var header; |
91 |
|
|
92 |
// Null result output |
// Null result output |
93 |
if(result.length < 1) |
if(result.length < 1) |
94 |
{ |
{ |
95 |
var header = (d.getElementsByTagName("h2"))[0].firstChild; |
header = (d.getElementsByTagName("h2"))[0].firstChild; |
96 |
header.replaceData(0, 14, "Nothing Found "); |
try { |
97 |
|
header.replaceData(0, 14, "Nothing Found "); |
98 |
|
} catch(e) {} |
99 |
|
|
100 |
if(search_err != "") |
if(search_err != "") |
101 |
{ |
{ |
116 |
var e = document.createElement("font"); |
var e = document.createElement("font"); |
117 |
|
|
118 |
e = document.createElement("a"); |
e = document.createElement("a"); |
119 |
e.setAttribute("href",result[i].link); |
e.setAttribute("href","browse.html?o="+result[i].link); |
|
e.setAttribute("target","_blank"); |
|
120 |
e.appendChild(document.createTextNode(result[i].title)); |
e.appendChild(document.createTextNode(result[i].title)); |
121 |
d.appendChild(e); |
d.appendChild(e); |
122 |
d.appendChild(document.createTextNode(" ")); |
d.appendChild(document.createTextNode(" ")); |
123 |
|
|
124 |
|
e = document.createElement("a"); |
125 |
|
e.setAttribute("href","thes/"+result[i].link+".html"+location.search); |
126 |
|
// e.setAttribute("target","_blank"); |
127 |
|
e.appendChild(document.createTextNode(">>")); |
128 |
|
d.appendChild(e); |
129 |
|
/* |
130 |
e = document.createElement("font"); |
e = document.createElement("font"); |
131 |
e.setAttribute("color","gray"); |
e.setAttribute("color","gray"); |
132 |
e.appendChild(document.createTextNode("["+result[i].frequency+"]")); |
e.appendChild(document.createTextNode("["+result[i].frequency+"]")); |
133 |
d.appendChild(e); |
d.appendChild(e); |
134 |
d.appendChild(document.createElement("br")); |
*/ |
135 |
d.appendChild(document.createElement("br")); |
d.appendChild(document.createElement("br")); |
136 |
} |
} |
137 |
|
|
138 |
// Change header |
// Change header |
139 |
var header = (d.getElementsByTagName("h2"))[0].firstChild; |
header = (d.getElementsByTagName("h2"))[0].firstChild; |
140 |
|
|
141 |
header.replaceData(0, 14, "Search Results"); |
try { |
142 |
|
header.replaceData(0, 14, "Search Results"); |
143 |
|
} catch(e) {} |
144 |
|
|
145 |
} |
} |