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()