[js] Set up workers earlier

to avoid "Error: currentWorker is undefined:"
mit-plv · Aug 5, 2024 · 986e0c4 · 986e0c4
1 parent 2f26964
commit 986e0c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fiat-html/main.js b/fiat-html/main.js
@@ -304,6 +304,8 @@ document.addEventListener('DOMContentLoaded', function() {
             wasmCheckbox.checked = true;
         }
 
+        setupWorkers();
+
         if (argv) {
             if (nonFalseQueryParam(interactive)) {
                 inputArgs.value = decodeURIComponent(argv);
@@ -314,8 +316,6 @@ document.addEventListener('DOMContentLoaded', function() {
         } else {
             inputForm.classList.remove('hidden');
         }
-
-        setupWorkers();
     }
 
     parseQueryParams();