From 0e0681fce718a38fb6662e011859a3ea5c56e868 Mon Sep 17 00:00:00 2001 From: "Yuichiro Tachibana (Tsuchiya)" Date: Thu, 19 Oct 2023 20:25:58 +0900 Subject: [PATCH] Lite: Set `wasClean: true` on the `CloseEvent` emitted by `WebSocket.close()` (#6009) * Set `wasClean: true` on the `CloseEvent` emitted by `WebSocket.close` * add changeset * Apply formatter --------- Co-authored-by: gradio-pr-bot --- .changeset/few-items-float.md | 5 +++++ js/wasm/src/messageportwebsocket.ts | 8 ++++++-- 2 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 .changeset/few-items-float.md diff --git a/.changeset/few-items-float.md b/.changeset/few-items-float.md new file mode 100644 index 0000000000..eac1a84799 --- /dev/null +++ b/.changeset/few-items-float.md @@ -0,0 +1,5 @@ +--- +"@gradio/wasm": patch +--- + +fix:Lite: Set `wasClean: true` on the `CloseEvent` emitted by `WebSocket.close()` diff --git a/js/wasm/src/messageportwebsocket.ts b/js/wasm/src/messageportwebsocket.ts index 8b912af597..17b11a7e22 100644 --- a/js/wasm/src/messageportwebsocket.ts +++ b/js/wasm/src/messageportwebsocket.ts @@ -104,7 +104,9 @@ export class MessagePortWebSocket extends EventTarget { this.readyState = 2; this._port.postMessage({ type: "close", value: { code, reason } }); this.readyState = 3; - this.dispatchEvent(new CloseEvent("close", { code, reason })); + this.dispatchEvent( + new CloseEvent("close", { code, reason, wasClean: true }) + ); } private _onMessage(e: MessageEvent): void { @@ -127,7 +129,9 @@ export class MessagePortWebSocket extends EventTarget { case "close": if (this.readyState < 3) { this.readyState = 3; - this.dispatchEvent(new CloseEvent("close", { ...event.value })); + this.dispatchEvent( + new CloseEvent("close", { ...event.value, wasClean: true }) + ); return; } break;