Update worker to show elapsed time

Author: DolphyWind

electra_web/worker.js

@@ -23,6 +23,7 @@ onmessage = async (e) => {
 function loop() {
   Electra.init(input);
   Electra.set_source_code(code);
+  const start = performance.now();
   Electra.generate();
   Electra.step();
 
@@ -35,5 +36,17 @@ function loop() {
       postMessage({ type: "output", data: output });
     }
   }
-  postMessage({ type: "final", data: "\n[Program finished]\n" });
+  const end = performance.now();
+  const delta_time = (end - start);
+  const ms = Math.floor(delta_time % 1000);
+  const seconds = Math.floor(delta_time / 1e3) % 60;
+  const mins = Math.floor(delta_time / (1e3 * 60)) % 60;
+  const hours = Math.floor(delta_time / (1e3 * 3600));
+  let final_text = "";
+  if(hours > 0) { final_text += `${hours}h `; }
+  if(mins > 0) { final_text += `${mins}m `; }
+  if(seconds > 0) { final_text += `${seconds}s `; }
+  final_text += `${ms}ms`;
+
+  postMessage({ type: "final", data: `\n[Execution completed in ${final_text}]\n` });
 }