poor man's autoreload

poor-mans-autoreload.js

window.addEventListener("load", () =>
  (async () => {
    const interval = 800
    const duration = 10 * 60 * 1000
    const option = { credentials: 'include' }
    const response = await fetch(location.href, option)
    if (!response.ok) {
      return
    }
    const orgText = await response.text()
    const t0 = Date.now()
    while (Date.now() - t0 < duration) {
　    await new Promise(resolve => setTimeout(resolve, interval))
      const response = await fetch(location.href, option)
      if (response.ok) {
        const text = await response.text()
        if (orgText !== text) {
          location.reload(true)
          return
        }
      }
    }
  })()
)