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 |
---|---|
java.util.Set<java.lang.String> |
getSessionIds(java.lang.String user)
Return the active session id's for the given user.
|
void |
registerSessionId(java.lang.String user,
java.lang.String sessionId)
Register an active session id for the given user.
|
void |
unregisterSessionId(java.lang.String user,
java.lang.String sessionId)
Unregister the session id for a user.
|
java.util.Set<java.lang.String> getSessionIds(java.lang.String user)
user
- the uservoid registerSessionId(java.lang.String user, java.lang.String sessionId)
user
- the usersessionId
- the session idvoid unregisterSessionId(java.lang.String user, java.lang.String sessionId)
user
- the usersessionId
- the session id