1234567891011121314151617181920212223242526272829303132333435
let socket;let reconnectTimer;
const wsOrigin = window.location.origin  .replace("http", "ws")  .replace("https", "wss");const hmrUrl = `${wsOrigin}/hmr`;
hmrSocket();
function hmrSocket(callback) {  if (socket) {    socket.close();  }
  socket = new WebSocket(hmrUrl);  socket.addEventListener("open", callback);  socket.addEventListener("message", (event) => {    if (event.data === "refresh") {      console.log("refreshings");      window.location.reload();    }  });
  socket.addEventListener("close", () => {    console.log("reconnecting...");    clearTimeout(reconnectTimer);    reconnectTimer = setTimeout(() => {      hmrSocket(() => {        window.location.reload();      });    }, 1000);  });}