websockets
websockets copied to clipboard
Deadline-based scheduling in keepalive_ping
Currently, if ping -> pong latency is 10 seconds, pings are sent every 30 seconds. It would be slightly more correct to send them every 20 seconds. This is a theoretical issue; no practical problems were ever reported.
From https://github.com/aaugustin/websockets/issues/1224#issuecomment-1233945232.