58 |
{ |
{ |
59 |
if((m.nodeType == 1) && |
if((m.nodeType == 1) && |
60 |
(m.tagName.toLowerCase() == "div") && |
(m.tagName.toLowerCase() == "div") && |
61 |
|
m.getAttribute("id") && |
62 |
(m.getAttribute("id").toLowerCase() == id.toLowerCase() )) |
(m.getAttribute("id").toLowerCase() == id.toLowerCase() )) |
63 |
{ |
{ |
64 |
return m; |
return m; |
86 |
debug("printResults("+result.length+")"); |
debug("printResults("+result.length+")"); |
87 |
|
|
88 |
var d = findDiv("results"); |
var d = findDiv("results"); |
89 |
|
var header; |
90 |
|
|
91 |
// Null result output |
// Null result output |
92 |
if(result.length < 1) |
if(result.length < 1) |
93 |
{ |
{ |
94 |
var header = (d.getElementsByTagName("h2"))[0].firstChild; |
header = (d.getElementsByTagName("h2"))[0].firstChild; |
95 |
header.replaceData(0, 14, "Nothing Found "); |
header.replaceData(0, 14, "Nothing Found "); |
96 |
|
|
97 |
if(search_err != "") |
if(search_err != "") |
128 |
} |
} |
129 |
|
|
130 |
// Change header |
// Change header |
131 |
var header = (d.getElementsByTagName("h2"))[0].firstChild; |
header = (d.getElementsByTagName("h2"))[0].firstChild; |
132 |
|
|
133 |
header.replaceData(0, 14, "Search Results"); |
header.replaceData(0, 14, "Search Results"); |
134 |
|
|