on windows sometimes WebSocket messages never received

hi,

we use tornado in our desktop application, and we do have super-obscure issues on windows machines from time to time (this was an earlier one for example: https://github.com/tornadoweb/tornado/issues/2347)

the latest one is that on a couple of machines on_message() of WebSocket is never called. at a js console i go:

let ws = new WebSocket('ws://127.0.0.1:XX/coms')

and open() in WebSocket is called (and returns)

but ws.send('fred') does not result in on_message() being called (the message fred does appear in the frames of the connection in the js dev tools however)

if at the js console i go:

ws.close()

on_close() is called, but not for a while ... so it looks like it times out.

i appreciate this is almost definitely a "yeah, windows is sometimes weird" issue, but i did wonder if you had any suggestions for debugging this. these issues are ultra-rare, i'd guess they affect < 1 in 1000 of our windows users.

with thanks

No source file, test, or reproducible environment is named. Start by examining the WebSocket path serving ws://127.0.0.1:XX/coms and reproduce the Windows-only case while comparing browser frames with on_message() and on_close(); done means identifying a reproducible cause or a documented debugging result.