Refresh just the images on the segment coverage page (#367)

This allows users on the page to preserve attributes like the current horizontal scroll value.
1 year ago · db8c3a986f
parent 0ed808688e
commit db8c3a986f
1 changed files with 11 additions and 1 deletions
--- a/segment_coverage/segment_coverage/main.py
+++ b/segment_coverage/segment_coverage/main.py
@ -202,7 +202,6 @@ class CoverageChecker(object):
 <html>
  <head>
    <meta charset="utf-8">
-    <meta http-equiv="refresh" content="30"/>
    <title>{0} {1} Segment Coverage Maps</title>
      <style>
        html {{ background-color: #222;}}
@ -216,6 +215,17 @@ class CoverageChecker(object):
              margin-left: auto;
              margin-right: auto;}}
    </style>
+    <script>
+      function updateImages() {{
+        const now = new Date().getTime(); // Generate a timestamp (to force past the browser cache)
+        for (const image of document.getElementsByTagName("img")) {{
+          const imageUrl = new URL(image.src);
+          imageUrl.search = `t=${{now}}`;
+          image.src = imageUrl;
+        }}
+      }}
+      setInterval(updateImages, 30000);
+    </script>
  </head>
  <body>
    <h1>{0} {1}</h1>""".format(self.channel, quality)