Quellcode durchsuchen

frontend: WebSocketSession.closed() more check

wangweimin vor 5 Jahren
Ursprung
Commit
e53747cac2
3 geänderte Dateien mit 1 neuen und 1 gelöschten Zeilen
  1. 0 0
      pywebio/html/js/pywebio.min.js
  2. 0 0
      pywebio/html/js/pywebio.min.js.map
  3. 1 1
      webiojs/src/session.ts

Datei-Diff unterdrückt, da er zu groß ist
+ 0 - 0
pywebio/html/js/pywebio.min.js


Datei-Diff unterdrückt, da er zu groß ist
+ 0 - 0
pywebio/html/js/pywebio.min.js.map


+ 1 - 1
webiojs/src/session.ts

@@ -96,7 +96,7 @@ export class WebSocketSession implements Session {
     }
 
     closed(): boolean {
-        return this._closed;
+        return this._closed || this.ws.readyState===WebSocket.CLOSED || this.ws.readyState===WebSocket.CLOSING;
     }
 }
 

Einige Dateien werden nicht angezeigt, da zu viele Dateien in diesem Diff geändert wurden.