]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2863 from Agnewee/hotfix/stop-ping-callback
authorBen Darnell <ben@bendarnell.com>
Fri, 19 Jun 2020 20:39:12 +0000 (16:39 -0400)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 20:39:12 +0000 (16:39 -0400)
Stop ping_callback if websocket client specifies ping_interval


Trivial merge