diff --git a/webui/index.html b/webui/index.html index bec894d..dd8c19c 100644 --- a/webui/index.html +++ b/webui/index.html @@ -63,7 +63,10 @@ Documentation | Raise an issue on GitHub | Version: ? | - Server connection: ? + Server connection: + REST, + WebSocket +
? @@ -175,18 +178,29 @@ to at least display a helpful error message if we can't use OliveTin. */ function showBigError (type, friendlyType, message) { - for (const oldError of document.querySelectorAll('div.error').values()) { - window.old = oldError; - oldError.remove(); - } + clearBigErrors(type) console.error('Error ' + type + ': ', message) const domErr = document.createElement('div') domErr.classList.add('error') + domErr.classList.add(type) domErr.innerHTML = '
' + message + "
" - document.getElementById('root-group').appendChild(domErr) + document.body.prepend(domErr) + } + + function clearBigErrors(additionalClass) { + let selector = 'div.error' + + if (additionalClass != null) { + selector += '.' + additionalClass + } + + for (const oldError of document.querySelectorAll(selector).values()) { + window.old = oldError; + oldError.remove(); + } } @@ -195,6 +209,5 @@ -