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-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). Yes, bug is fixed in iterator but NOT fixed for websocket.receive functions, like receive json()

The task

Yes, bug is fixed in iterator but NOT fixed for `websocket.receive_*` functions, like `receive_json()`

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.