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);