diff options
Diffstat (limited to 'cli/js/web')
-rw-r--r-- | cli/js/web/workers.ts | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/cli/js/web/workers.ts b/cli/js/web/workers.ts index a62ca0b77..7a0abbbdb 100644 --- a/cli/js/web/workers.ts +++ b/cli/js/web/workers.ts @@ -127,6 +127,14 @@ export class WorkerImpl extends EventTarget implements Worker { const type = event.type; + if (type === "terminalError") { + this.#terminated = true; + if (!this.#handleError(event.error)) { + throw Error(event.error.message); + } + continue; + } + if (type === "msg") { if (this.onmessage) { const message = decodeMessage(new Uint8Array(event.data)); |