]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3264 from bdarnell/websocket-client-warning
authorBen Darnell <ben@bendarnell.com>
Mon, 8 May 2023 01:47:52 +0000 (21:47 -0400)
committerGitHub <noreply@github.com>
Mon, 8 May 2023 01:47:52 +0000 (21:47 -0400)
websocket: Add warning if client connection isn't closed cleanly


Trivial merge