diff --git a/misc/wasm/wasm_exec.js b/misc/wasm/wasm_exec.js index e0d6cb93cc17f764b2b576ce611b7e9184188e50..a929fbcca32e0a9e0e6616aff444150195427552 100755 --- a/misc/wasm/wasm_exec.js +++ b/misc/wasm/wasm_exec.js @@ -38,6 +38,7 @@ if (typeof process !== "undefined") { // detect Node.js compileAndRun(fs.readFileSync(process.argv[2])).catch((err) => { console.error(err); + process.exit(1); }); } else { window.global = window;