how to set timeout on recv()?

[JoyCood]

is it support set timeout on recv()? when the recv() method does not get any message within timeout, we consider the connection is lose and throw it away.

[aaugustin]

There's nothing special in websockets, the usual asyncio API does the job:

yield from asyncio.wait_for(ws.recv(), timeout=10)