e("/api/v1/admin/workers/updates", null);
          sourceForWorkers.map(message => JSON.parse(message.data)).then((event) => onWorkerEvent(event)).catch(() => {});
        });
      });
    }

    function renderWorker(worker) {
      const detailsState = {hidden : true};
      const detailsEl = document.createElement("div");
      detailsEl.appendChild(document.createTextNode(`id: ${worker.descriptor.identifier}`));
      detailsEl.appendChild(document.createElement("br"));
      detailsEl.appendChild(doc