in robot-server-plugin/src/main/resources/static/updateButton.js [14:30]
function launchUpdate(seconds) {
console.log(`${seconds} left`)
setTimeout(() => {
if (seconds === 0) {
location.reload()
} else {
body().outerHTML = ""
const left = document.createElement("h1")
left.textContent = `reload in ${seconds} seconds...`
body().appendChild(left)
}
seconds--
launchUpdate(seconds)
}
, 1000);
}