public interface UserSessionRegistry
Used in support of resolving unique session-specific user destinations.
See DefaultUserDestinationResolver
for more details.
DefaultUserDestinationResolver
Modifier and Type | Method and Description |
---|---|
Set<String> |
getSessionIds(String user)
Return the active session id's for the given user.
|
void |
registerSessionId(String user,
String sessionId)
Register an active session id for the given user.
|
void |
unregisterSessionId(String user,
String sessionId)
Unregister the session id for a user.
|
Set<String> getSessionIds(String user)
user
- the uservoid registerSessionId(String user, String sessionId)
user
- the usersessionId
- the session id