mirror of
https://github.com/MarioSpore/Grinch-AP.git
synced 2025-10-21 12:11:33 -06:00
Core: update websockets (#4732)
This commit is contained in:
@@ -417,7 +417,7 @@ class CommonContext:
|
||||
|
||||
async def send_msgs(self, msgs: typing.List[typing.Any]) -> None:
|
||||
""" `msgs` JSON serializable """
|
||||
if not self.server or not self.server.socket.open or self.server.socket.closed:
|
||||
if not self.server or self.server.socket.state != websockets.protocol.State.OPEN:
|
||||
return
|
||||
await self.server.socket.send(encode(msgs))
|
||||
|
||||
|
Reference in New Issue
Block a user