blob: 12c5e3fde17ddd97b93bf3610b65a03c3c70d0de (
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
|
topE = document.querySelector("#top");
async function update() {
programE = document.querySelector("#program");
try {
const response = await fetch("/update");
if (response.status == 200) {
html = await response.text();
topE.innerHTML = html.split("\n").slice(0, 1)[0];
programE.outerHTML = html.split("\n").slice(1).join("\n");
}
} catch (err) {
// Happens when the server is closed / unreachable
err_msg = err.message + " ";
topE.innerHTML = '<span style="color: red">' + err_msg.slice(0, topE.textContent.length) + "</span>" + topE.textContent.slice(err_msg.length)
console.log("Failed to fetch update");
console.log(err)
}
}
setInterval(() => {
update()
}, 5000);
|
