mirror of
https://github.com/spring-projects/spring-framework.git
synced 2026-10-03 13:39:34 +00:00
Ignore DISCONNECT messages if already disconnected. This can occur if the client explicitly sends a DISCONNECT frame and then closes the socket quickly. The closing of the WebSocket sessions also sends a DISCONNECT upstream to ensure the broker is aware.