/*jshint esversion: 8 */
// Fetching the run value for the first time
fetch ("run.txt")
    .then(x => x.text())
    .then(y => document.getElementById("run").innerHTML = y);
// Fetching the block value for the first time
fetch ("block.txt")
    .then(x => x.text())
    .then(y => document.getElementById("blocked").innerHTML = y);
fetch ("link.txt")
    .then(x => x.text())
    .then(y => document.getElementById("links").innerHTML = y);
async function refresh(){
    // Refresh the HTML to show the spinners
    document.getElementById("run").innerHTML = "...";
    document.getElementById("blocked").innerHTML = "...";
    document.getElementById("links").innerHTML = "...";
    // Then fetch the values the same way as on the first part of the script.
    fetch ("run.txt")
        .then(x => x.text())
        .then(y => document.getElementById("run").innerHTML = y);
    fetch ("block.txt")
        .then(x => x.text())
        .then(y => document.getElementById("blocked").innerHTML = y);
    fetch ("link.txt")
        .then(x => x.text())
        .then(y => document.getElementById("links").innerHTML = y);
}