diff --git a/world/index.html b/world/index.html index 460d09a..af50645 100644 --- a/world/index.html +++ b/world/index.html @@ -88,6 +88,7 @@
AGENTS: 0
+ @@ -99,6 +100,24 @@ } })(); + + diff --git a/world/main.js b/world/main.js index f63cfd3..cb96b6e 100644 --- a/world/main.js +++ b/world/main.js @@ -23,8 +23,12 @@ const dom = { text: document.getElementById('status-text'), agents: document.getElementById('agent-count'), retryBtn: document.getElementById('retry-btn'), + fallback: document.getElementById('fallback-link'), }; +// Signal to inline fallback script that main.js loaded successfully +window.__workshopBooted = true; + let ws = null; let autoRetries = 0; let connectTimer = null; @@ -32,7 +36,9 @@ let connectTimer = null; function setStatus(state, message) { dom.dot.className = 'dot ' + state; dom.text.textContent = message; - dom.retryBtn.style.display = state === Status.OFFLINE ? 'block' : 'none'; + var isOffline = state === Status.OFFLINE; + dom.retryBtn.style.display = isOffline ? 'block' : 'none'; + if (dom.fallback) dom.fallback.style.display = isOffline ? 'block' : 'none'; } function setAgentCount(n) { @@ -105,7 +111,7 @@ function onFail() { setStatus(Status.CONNECTING, 'RETRYING (' + autoRetries + '/' + MAX_AUTO_RETRIES + ')\u2026'); setTimeout(connect, RETRY_DELAY_MS); } else { - setStatus(Status.OFFLINE, 'OFFLINE \u2014 backend unreachable'); + setStatus(Status.OFFLINE, 'WORKSHOP OFFLINE'); } }