new editor features

templates/run_details.html

@@ -260,6 +260,7 @@
 
 <script>
     const runId = {{ run.id }};
+    const initialStatus = "{{ run.status }}";
     const consoleEl = document.getElementById('console-log');
     const statusText = document.getElementById('status-text');
     const statusBar = document.getElementById('status-bar');
@@ -297,6 +298,11 @@
                 // Poll if running
                 if (data.status === 'running' || data.status === 'queued') {
                     setTimeout(updateLog, 2000);
+                } else {
+                    // If the run was active when we loaded the page, reload now that it's finished to show artifacts
+                    if (initialStatus === 'running' || initialStatus === 'queued') {
+                        window.location.reload();
+                    }
                 }
             })
             .catch(err => console.error(err));