/** Live reload when web/ files change (dev server only). */

function connect() {
  const source = new EventSource("/api/dev/reload");
  source.onmessage = (event) => {
    if (event.data === "reload") {
      console.log("[portal] reloading…");
      location.reload();
    }
  };
  source.onerror = () => {
    source.close();
    setTimeout(connect, 1500);
  };
}

connect();