mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-02-17 11:29:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

Lite: Set wasClean: true on the CloseEvent emitted by WebSocket.close() (#6009)

Browse Source 
* Set `wasClean: true` on the `CloseEvent` emitted by `WebSocket.close`

* add changeset

* Apply formatter

---------

Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
This commit is contained in:
Yuichiro Tachibana (Tsuchiya) 2023-10-19 20:25:58 +09:00 committed by GitHub
parent ec26b71dfb
commit 0e0681fce7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.changeset/few-items-float.md Normal file
View File

@ -0,0 +1,5 @@
---
"@gradio/wasm": patch
---
fix:Lite: Set `wasClean: true` on the `CloseEvent` emitted by `WebSocket.close()`

8
js/wasm/src/messageportwebsocket.ts
View File

@ -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;