mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-22 23:25:50 +00:00
+ adding AbstractWebSocketConnection.onWriteWebSocketClose() to allow for different behavior between client vs server TCP disconnect logic.