public class WebSocketSessionEventHandler extends Object
Modifier and Type | Field and Description |
---|---|
protected TaskScheduler |
taskScheduler |
protected UserSessionService |
userSessionService |
protected WebSocketPrincipalTenantExtractor |
webSocketPrincipalTenantExtractor |
Constructor and Description |
---|
WebSocketSessionEventHandler(UserSessionService userSessionService,
TaskScheduler taskScheduler,
WebSocketPrincipalTenantExtractor webSocketPrincipalTenantExtractor) |
Modifier and Type | Method and Description |
---|---|
protected String |
getTenantId(Principal user) |
protected String |
getUserId(Principal user) |
void |
onSessionConnectedEvent(SessionConnectedEvent event) |
void |
onSessionDisconnectedEvent(SessionDisconnectEvent event) |
protected final UserSessionService userSessionService
protected final TaskScheduler taskScheduler
protected final WebSocketPrincipalTenantExtractor webSocketPrincipalTenantExtractor
public WebSocketSessionEventHandler(UserSessionService userSessionService, TaskScheduler taskScheduler, WebSocketPrincipalTenantExtractor webSocketPrincipalTenantExtractor)
@Order @EventListener public void onSessionConnectedEvent(SessionConnectedEvent event)
@EventListener public void onSessionDisconnectedEvent(SessionDisconnectEvent event)