Added autoreload

templates/base.html

@@ -34,5 +34,26 @@
         {% endblock body %}
       </div>
     </div>
+    <script>
+    let state = {execution: null};
+    const check_exec = () => {
+      return fetch('/execution')
+        .then(response => response.text())
+        .then(data => parseInt(data))
+        .catch(err => {});
+    }
+    window.onload = () => {
+      check_exec().then(exec => {
+        state.execution = exec;
+        setInterval(()=>{
+          check_exec().then(exec => {
+            if(exec && state.execution != exec) {
+              location.reload();
+            }
+          });
+        }, 1000);
+      })
+    }
+    </script>
   </body>
 </html>