From a492b3b668c1c9be410a7b126550129fba67025a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C5=99emysl=20Eric=20Janouch?= Date: Fri, 27 Dec 2024 02:21:37 +0100 Subject: [PATCH] Clean up --- acid.go | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/acid.go b/acid.go index cf5acaa..fd6ce76 100644 --- a/acid.go +++ b/acid.go @@ -314,9 +314,7 @@ function get(id) { return document.getElementById(id) } function getLog(id) { - const header = document.getElementById(id) - const log = document.getElementById(id + 'log') - const text = log.textContent + const header = get(id), log = get(id + 'log'), text = log.textContent // lines[-1] is an implementation detail of terminalWriter.Serialize, // lines[-2] is the actual last line. const last = Math.max(0, text.split('\n').length - 2) @@ -334,8 +332,7 @@ function refreshLog(log, top, changed) { log.log.hidden = empty } let refresher = setInterval(() => { - let run = getLog('run'), task = getLog('task'), deploy = getLog('deploy') - + const run = getLog('run'), task = getLog('task'), deploy = getLog('deploy') const url = new URL(window.location.href) url.search = '' url.searchParams.set('json', '') @@ -374,8 +371,8 @@ let refresher = setInterval(() => { if (!data.IsRunning) clearInterval(refresher) }).catch(error => { - alert(error) clearInterval(refresher) + alert(error) }) }, 1000 /* For faster updates than this, we should use WebSockets. */)