HF RL Explorer

await websocket.receive json() Will die with TypeError on WSMsgType.CLOSED .

await websocket.receive json() Will die with TypeError on WSMsgType.CLOSED .: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). aiohttp 3.8.1 await websocket.receive json() Will die with TypeError on WSMsgType.CLOSED. 2784 is fixed, yes: Yes, bug is fixed in iterator but NOT…

The task

aiohttp 3.8.1 await websocket.receive_json() Will die with TypeError on WSMsgType.CLOSED. 2784 is fixed, yes: Yes, bug is fixed in iterator but NOT fixed for websocket.receive_ functions, like receive_json() I would raise RuntimeError or so if corresponding message "type" (like…

Part of XiaomiMiMo/MiMo-V2.6-RL-oss.