function launchUpdate()

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

}