]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3528 from bdarnell/ping-interval-fix
authorBen Darnell <ben@bendarnell.com>
Thu, 7 Aug 2025 21:07:48 +0000 (17:07 -0400)
committerGitHub <noreply@github.com>
Thu, 7 Aug 2025 21:07:48 +0000 (17:07 -0400)
websocket_ping: fix ping interval with non-zero timeout


Trivial merge