Firefox sends a PING on websocket when ethernet configuration changes

[jacopoipoi]

I’ve observed that Firefox often sends a ping message over an open WebSocket connection when I disconnect a network cable from my computer. I’m curious if this is a documented behavior or if it’s specified in the WebSockets RFC.

I described the steps to reproduce this here: https://stackoverflow.com/questions/78448800/why-does-firefox-send-a-websocket-ping-message-when-the...

Thanks!