diff options
| -rw-r--r-- | dmt/script.js | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/dmt/script.js b/dmt/script.js index e6b7b52..bc9554c 100644 --- a/dmt/script.js +++ b/dmt/script.js @@ -102,14 +102,14 @@ async function update_jobs() {      let no_jobs = document.getElementById("no_jobs");      let list = document.getElementById("list"); -    let timeout = %($CYCHE_IDLE_UPDATE%); +    let timeout = %($CYCHE_ACTIVE_UPDATE%);      try {          let status = await api("/api/status");          if (version === null) { version = status.version; }          if (version != status.version) { location.reload(); } -        if (status.active) { timeout = %($CYCHE_ACTIVE_UPDATE%); } +        if (!status.active) { timeout = %($CYCHE_IDLE_UPDATE%); }          set_progress(nav_progress, (status.active ? null : ""));          for (let i = status.oldest; i <= status.newest; i++) { | 
