Mercurial > hg > fulltextSearchFrontEnd

annotate WebContent/showHits.html @ 2:ab6c05b4d8dd default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bugs
author dwinter
date Wed, 26 Jan 2011 16:36:51 +0100
parents d075d7f70506
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
2 <html>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
3 <head>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
5 <title>Insert title here</title>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
6 <script type="text/javascript" src="./jquery-1.4.2.js"></script>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
7 <script type="text/javascript" src="./jquery.getUrlParam.js"></script>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
8 <script type="text/javascript">
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
9 //var server = 'http://xserve07.mpiwg-berlin.mpg.de:58080/fulltextSearchServer';
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
10 var server = 'http://127.0.0.1:8180/fulltextSearchServer';
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
11 $(document).ready(function(){
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
12 if ($(document).getUrlParam("url") != null) {
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
13 $("#results").load(server+$(document).getUrlParam("url"),
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
14 function(responseText, textStatus, XMLHttpRequest){
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
15
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
16 switch (XMLHttpRequest.status) {
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
17 case 0:
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
18 case 200:
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
19 break;
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
20 case 404:
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
21 $(this).html('searching...');
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
22 setTimeout(function() {
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
23 $('#results').load(server+$(document).getUrlParam("url"))
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
24 }, 4000);
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
25 }
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
26 }
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
27 );
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
28 }
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
29 });
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
30 </script>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
31 </head>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
32 <body>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
33 <div>Search V2</div>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
34 <div id="metaData"></div>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
35 <div id="results"></div>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
36 </body>
d075d7f70506 CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff changeset
37 </html>