diff --git a/game/server/eventstream/routes.py b/game/server/eventstream/routes.py index e1210bfd..140bf03a 100644 --- a/game/server/eventstream/routes.py +++ b/game/server/eventstream/routes.py @@ -18,7 +18,7 @@ class ConnectionManager: futures = [] for connection in self.active_connections: futures.append(connection.close()) - await wait(futures) + await wait(futures) # type: ignore async def connect(self, websocket: WebSocket) -> None: await websocket.accept() @@ -31,7 +31,7 @@ class ConnectionManager: futures = [] for connection in self.active_connections: futures.append(connection.send_json(jsonable_encoder(events))) - await wait(futures) + await wait(futures) # type: ignore manager = ConnectionManager() diff --git a/requirements.txt b/requirements.txt index 133cb01d..622d4a8f 100644 --- a/requirements.txt +++ b/requirements.txt @@ -20,7 +20,7 @@ iniconfig==2.0.0 Jinja2==3.1.3 lupa==2.0 MarkupSafe==2.1.5 -mypy==1.8.0 +mypy==1.9.0 mypy-extensions==1.0.0 nodeenv==1.8.0 packaging==23.2