fixed an infinite loop

diff --git a/static/src/index.js b/static/src/index.js
index 62c7734f602b4a08c0aac5785e84df2652c6214b..51b7f860d617be813c583cbc56bf4718540555fa 100644 (file)
--- a/static/src/index.js
+++ b/static/src/index.js
@@ -43,6 +43,8 @@ async function run_wasm(wasm_bytes) {
             }
 
             case 'terminated': {
+                wasm_worker.terminate();
+
                 wasm_worker = null;
                 update_running_msg();
                 break;