var resObject = null; var useAjax = (document.location.protocol.toLowerCase() == 'http:'); var isLocal = !useAjax; var previous_search = ""; function erzXMLHttpRequestObject () { var resObject = null; try { resObject = new XMLHttpRequest (); } catch (Error) { try { resObject = new ActiveXObject ("Microsoft.XMLHTTP"); } catch (Error) { try { resObject = new ActiveXObject ("MSXML2.XMLHTTP"); } catch (Error) { alert ("Unable to create XMLHttpRequest object for the search function!"); useAjax = false; } } } return resObject; } function searchResult (language, manual, bigpage) { search_string = this.document.search_form.q.value; if (useAjax && previous_search != search_string) { if (useAjax && search_string.length >= 3) { var reldir = ""; if (bigpage == 0) { reldir = "../" } resObject.open ('get', reldir + 'lily_index_search.php?lang=' + escape(language) + '&manual=' + escape(manual) + '&bigpage=' + bigpage + '&q=' + escape(search_string), true); resObject.onreadystatechange = handleResponse; resObject.send (null); } else { clearResults (); } previous_search = search_string; } } function result_field () { return document.getElementById ('search_results'); } function assignResults (results) { field = result_field (); field.innerHTML = resObject.responseText; field.style.display = 'block'; } function handleResponse () { if (resObject.readyState == 4 ) { assignResults (resObject.responseText); } } function clearResults () { field = result_field (); field.innerHTML = 0; field.style.display = 'none'; } function print_search_field (language, manual, bigpage) { if (useAjax) { // If the user presses enter and submits the form, also call the search // script to print out the results in a separate page search_call = "searchResult('" + language + "', '" + manual + "', " + bigpage + ")"; var reldir = ""; if (bigpage == 0) { reldir = "../" } search_script = reldir + 'lily_index_search.php'; document.write("