Pierre Fouché opened SPR-13871 and commented
The problem is in org.springframework.web.socket.messaging.SessionDisconnectEvent, line 56.
Current code is:
public SessionDisconnectEvent(Object source, Message<byte[]> message, String sessionId,
CloseStatus closeStatus, Principal user) {
super(source, message);
user is lost.
Should be:
public SessionDisconnectEvent(Object source, Message<byte[]> message, String sessionId,
CloseStatus closeStatus, Principal user) {
super(source, message, user);
Affects: 4.2.4
Referenced from: commits cdc9bf7, 4fc6ead