blob: 0c5f3d6ed23adf6b5c45bd63c33e58d2ca4402a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
<html>
<head>
<title>{{ objects.__len__() + skip}} matches</title>
<script>
function start() {
var inputField = document.getElementById("search");
window.location = "/search/" + inputField.value;
}
</script>
</head>
<body>
<div>
<input id="search" type="text"/>
<button onclick="start()">Go</button>
</div>
{% if objects.__len__() == 0 %}
No Matches
{% else %}
{% for obj in objects %}
<hr />
<h2>
{{ obj['title'] }}
<a href="{{ url_for("do_download_page", docnum=obj['docnum']) }}">
This Page
</a>
-
<a href="{{ url_for("do_download_file", docnum=obj['docnum']) }}">
File
</a>
</h2>
<pre> {{ obj['path'] }} </pre>
{% autoescape false %}
<div>{{ obj['excerpt'] }}</div>
{% endautoescape %}
<hr />
{% endfor %}
{% endif %}
<div>
{% if skip > 0 %}
<a href="{{ url_for("do_search", term=term, skip=skip-5) }}">Previous 5</a>
{% else %}
Previous 5
{% endif %}
-
<a href="{{ url_for("do_search", term=term, skip=skip+5) }}">Next 5</a>
</div>
</body>
</html>
|
