feature: HTML/JS/CSS minifiction and cache busting

webui.dev/js/websocket.js

@@ -0,0 +1,59 @@
+window.ws = null
+
+export function checkWebsocketConnection () {
+  if (window.ws === null || window.ws.readyState === 3) {
+    reconnectWebsocket()
+  }
+}
+
+function reconnectWebsocket () {
+  window.websocketAvailable = false
+
+  let proto = 'ws:'
+
+  if (window.location.protocol === 'https:') {
+    proto = 'wss:'
+  }
+
+  const websocketConnectionUrl = proto + window.location.host + '/websocket'
+  const ws = window.ws = new WebSocket(websocketConnectionUrl)
+
+  ws.addEventListener('open', websocketOnOpen)
+  ws.addEventListener('message', websocketOnMessage)
+  ws.addEventListener('error', websocketOnError)
+  ws.addEventListener('close', websocketOnClose)
+}
+
+function websocketOnOpen (evt) {
+  window.websocketAvailable = true
+
+  window.ws.send('monitor')
+
+  window.refreshLoop()
+}
+
+function websocketOnMessage (msg) {
+  // FIXME check msg status is OK
+  const j = JSON.parse(msg.data)
+
+  const e = new Event(j.type)
+  e.payload = j.payload
+
+  switch (j.type) {
+    case 'ExecutionFinished':
+      window.dispatchEvent(e)
+      break
+    default:
+      window.showBigError('Unknown message type from server: ' + j.type)
+  }
+}
+
+function websocketOnError (err) {
+  window.websocketAvailable = false
+  window.refreshLoop()
+  console.error(err)
+}
+
+function websocketOnClose () {
+  window.websocketAvailable = false
+}