We've set
WEBSOCKET_PING_INTERVAL_SEC = 2
WEBSOCKET_PING_TIMEOUT_SEC = 4
(the parameters we pass to Tornado's websocket handler.)
Now, whenever we do a long ( > 6) asyncio.sleep in our code, our websocket disconnects, while regular time.sleep does not disconnect it. Obviously, it seems the websocket ping interval does not play nice with asyncio.sleep.
What should we change to fix this? (Assuming we still need the total of 6 seconds to detect disconnections.)