blob: 9687b25aa5c18584f8a00d04e19fc2f6a28331ef (
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>Moniteur de Glutte</title>
<link rel="stylesheet" href="static/style.css" type="text/css" media="screen" charset="utf-8"/>
</head>
<body>
<h1>Ceci n'est pas une Glutte <input type="checkbox" id="pause"><small><small>Pause</small></small></h1>
<pre id="output">{% for l in last_lines %}{{l}}{% endfor %}</pre>
<script>
var output = document.getElementById('output');
var pause = document.getElementById('pause');
var socket = null;
var closed = true;
var retry_scheduled = false;
var pause_buffer = '';
function init_socket() {
retry_scheduled = false;
if (socket != null) {
socket.onmessage = null;
socket.onopen = null;
socket.onclose = null;
socket.onerror = null;
delete socket;
}
socket = new WebSocket("ws://" + window.location.host + "/stream");
socket.onmessage = function(data) {
add_message(data.data);
}
socket.onopen = function(data) {
add_message("{System} Websocket open !\n");
closed = false;
}
socket.onclose = function(code, text) {
closed = true;
if (!retry_scheduled) {
add_message("{System} Websocket closed :( " + text + "\n");
retry_scheduled = true;
init_socket();
}
}
socket.onerror = function() {
closed = true;
if (!retry_scheduled) {
add_message("{System} Websocket error. Trying again in 3s :(\n");
setTimeout(init_socket, 3000);
retry_scheduled = true;
}
}
}
function keep_alive() {
if (!closed) {
try {
socket.send('.');
} catch (e) {
}
}
setTimeout(keep_alive, 10000);
}
function add_message(text) {
if (pause.checked) {
pause_buffer += text;
} else {
output.textContent += text;
window.scrollTo(0, document.body.scrollHeight);
}
}
function pause_changed() {
if (!pause.checked) {
if (pause_buffer) {
add_message(pause_buffer);
pause_buffer = "";
}
}
}
pause.onchange = pause_changed;
init_socket();
keep_alive();
</script>
</body>
</html>
|
