4 <style type="text/css">
17 var targetsloaded = false;
24 var session_cells = Array('query');
25 var old_session = session_read();
27 function GetXmlHttpObject()
30 if (window.XMLHttpRequest)
32 objXMLHttp=new XMLHttpRequest()
34 else if (window.ActiveXObject)
36 objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
41 function session_started()
43 if (xinitSession.readyState != 4)
45 var xml = xinitSession.responseXML;
46 var sesid = xml.getElementsByTagName("session")[0].childNodes[0].nodeValue;
47 document.getElementById("status").innerHTML = "Live";
51 function start_session()
53 xinitSession = GetXmlHttpObject();
54 var url="search.pz2?";
55 url += "command=init";
56 xinitSession.onreadystatechange=session_started;
57 xinitSession.open("GET", url);
58 xinitSession.send(null);
61 function targets_loaded()
63 if (xloadTargets.readyState != 4)
65 var xml = xloadTargets.responseXML;
66 var error = xml.getElementsByTagName("error");
69 var msg = error[0].childNodes[0].nodeValue;
73 document.getElementById("targetstatus").innerHTML = "Targets loaded";
76 function load_targets()
78 var fn = document.getElementById("targetfilename").value;
79 clearTimeout(termtimer);
80 clearTimeout(searchtimer);
81 clearTimeout(stattimer);
82 clearTimeout(showtimer);
83 document.getElementById("stat").innerHTML = "";
86 alert("Please enter a target definition file name");
89 var url="search.pz2?" +
91 "&session=" + session +
93 document.getElementById("targetstatus").innerHTML = "Loading targets...";
94 xloadTargets = GetXmlHttpObject();
95 xloadTargets.onreadystatechange=targets_loaded;
96 xloadTargets.open("GET", url);
97 xloadTargets.send(null);
100 function show_records()
102 if (xshow.readyState != 4)
105 var xml = xshow.responseXML;
106 var body = document.getElementById("body");
107 var hits = xml.getElementsByTagName("hit");
108 if (!hits[0]) // We should never get here with blocking operations
110 body.innerHTML = "No records yet";
111 searchtimer = setTimeout(check_search, 250);
116 var total = Number(xml.getElementsByTagName('total')[0].childNodes[0].nodeValue);
117 var merged = Number(xml.getElementsByTagName('merged')[0].childNodes[0].nodeValue);
118 var start = Number(xml.getElementsByTagName('start')[0].childNodes[0].nodeValue);
119 var num = Number(xml.getElementsByTagName('num')[0].childNodes[0].nodeValue);
120 body.innerHTML = '<b>Records : ';
121 body.innerHTML += (start + 1) + ' to ' + (start + num) +
122 ' of ' + merged + ' (total hits: ' + total + ')</b>';
124 if (start + num < merged)
125 body.innerHTML += ' <a href="" ' +
126 'onclick="startrec=' + (start + 20) +
127 ';check_search(); return false;">Next</a>';
130 body.innerHTML += ' <a href="" ' +
131 'onclick="startrec=' + (start - 20) +
132 ';check_search(); return false;">Previous</a>';
134 body.innerHTML += '<br/>';
135 for (i = 0; i < hits.length; i++)
137 body.innerHTML += '<p>';
138 body.innerHTML += (i + start + 1) + ': ';
139 var mk = hits[i].getElementsByTagName("title");
141 body.innerHTML += mk[0].childNodes[0].nodeValue;
142 body.innerHTML += '</p>';
146 searchtimer = setTimeout(check_search, 1000);
148 searchtimer = setTimeout(check_search, 2000);
151 termtimer = setTimeout(check_termlist, 1000);
154 function check_search()
156 clearTimeout(searchtimer);
157 var url = "search.pz2?" +
159 "&start=" + startrec +
161 "&session=" + session +
163 xshow = GetXmlHttpObject();
164 xshow.onreadystatechange=show_records;
165 xshow.open("GET", url);
170 function refine_query (obj) {
171 var query_cell = document.getElementById('query');
172 var subject = obj.innerHTML;
174 subject = subject.replace(/[\(\)]/g, '');
175 query_cell.value += ' and su=(' + subject + ')';
179 function show_termlist()
181 if (xtermlist.readyState != 4)
185 var xml = xtermlist.responseXML;
186 var body = document.getElementById("termlist");
187 var hits = xml.getElementsByTagName("term");
190 termtimer = setTimeout(check_termlist, 1000);
195 body.innerHTML = "<b>Limit results:</b><br>";
196 for (i = 0; i < hits.length; i++)
198 var namen = hits[i].getElementsByTagName("name");
200 body.innerHTML += '<a href="#" onclick="refine_query(this)">' +
201 namen[0].childNodes[0].nodeValue +
204 body.innerHTML += ' (';
205 var freqn = hits[i].getElementsByTagName("frequency");
207 body.innerHTML += freqn[0].childNodes[0].nodeValue;
208 body.innerHTML += ')<br>';
210 body.innerHTML += '<br>';
212 termtimer = setTimeout(check_termlist, 2000);
217 function check_termlist()
219 var url = "search.pz2?" +
221 "&session=" + session;
222 xtermlist = GetXmlHttpObject();
223 xtermlist.onreadystatechange=show_termlist;
224 xtermlist.open("GET", url);
225 xtermlist.send(null);
230 if (xstat.readyState != 4)
233 var xml = xstat.responseXML;
234 var body = document.getElementById("stat");
235 var nodes = xml.childNodes[0].childNodes;
238 stattimer = setTimeout(check_stat, 500);
242 body.innerHTML = "(";
243 for (i = 0; i < nodes.length; i++)
245 if (nodes[i].nodeType != 1)
247 var value = nodes[i].childNodes[0].nodeValue;
250 var name = nodes[i].nodeName;
251 body.innerHTML += ' ' + name + '=' + value;
253 body.innerHTML += ')';
254 stattimer = setTimeout(check_stat, 2000);
258 function check_stat()
260 var url = "search.pz2?" +
262 "&session=" + session;
263 xstat = GetXmlHttpObject();
264 xstat.onreadystatechange=show_stat;
265 xstat.open("GET", url);
269 function search_started()
271 if (xsearch.readyState != 4)
273 var xml = xsearch.responseXML;
274 var error = xml.getElementsByTagName("error");
277 var msg = error[0].childNodes[0].nodeValue;
282 stattimer = setTimeout(check_stat, 1000);
285 function start_search()
287 clearTimeout(termtimer);
289 clearTimeout(searchtimer);
291 clearTimeout(stattimer);
293 clearTimeout(showtimer);
297 alert("Please load targets first");
300 var query = escape(document.getElementById('query').value);
301 var url = "search.pz2?" +
303 "&session=" + session +
305 xsearch = GetXmlHttpObject();
306 xsearch.onreadystatechange=search_started;
307 xsearch.open("GET", url);
309 document.getElementById("termlist").innerHTML = '';
310 document.getElementById("body").innerHTML = '';
317 function session_encode ()
322 for (i = 0; i < session_cells.length; i++)
324 var name = session_cells[i];
325 var value = escape(document.getElementById(name).value);
326 session += '&' + name + '=' + value;
333 function session_restore (session)
335 var fields = session.split(/&/);
338 for (i = 1; i < fields.length; i++)
340 var pair = fields[i].split(/=/);
341 var key = pair.shift();
342 var value = pair.join('=');
343 var cell = document.getElementById(key);
351 function session_read ()
353 var ses = window.location.hash.replace(/^#/, '');
358 function session_store (new_value)
360 window.location.hash = '#' + new_value;
364 function update_history ()
366 var session = session_encode();
367 session_store(session);
368 old_session = session;
372 function session_check ()
374 var session = session_read();
376 clearInterval(url_surveillence);
378 if ( session != unescape(old_session) )
380 session_restore(session);
385 url_surveillence = setInterval(session_check, 200);
389 var url_surveillence = setInterval(session_check, 200);
394 <body onload="start_session();">
396 <table width="100%" border="1" cellpadding="5">
398 <td width="250" height="100" align="center">
399 <font size="+2"><b>MasterKey mk I</b></font>
403 <form onsubmit="start_search(); return false;">
404 <b>Search:</b> <input id="query" type="text" size="50"/>
405 <input type="submit" value="Go"/>
412 <td valign="top" id="termlist"> </td>
414 <td valign="top" id="body">
415 Funky search prototype.<br><br><br><br>
423 <form onsubmit="load_targets(); return false;">
425 <input type="text" id="targetfilename" size="20"/>
426 <input type="submit" value="load" />
432 Status: <span id="status">Initializing</span> <span id="targetstatus"></span><br/><span id="stat"></span>