This web socket user manager holds all web socket users registered by <f:websocket>.
Push
| Modifier and Type | Field and Description |
|---|---|
| private final ConcurrentMap | |
| private static final int | |
| private static final int | |
| private static final int | |
| private static final int | |
| private final ConcurrentMap |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| protected void | addChannelId(String
The session based user ID. userId, String The channel name. channel, String The channel identifier. channelId)Add user channel ID associated with given session based user ID and channel name. |
| protected void | deregister(Serializable
The user. user, String The session based user ID. userId)Deregister application user associated with given user and session based user ID. |
| private Set | |
| protected Set | Returns: The user-specific channel IDs associated with given user and channel name.The user. user, String The channel name. channel)Resolve the user-specific channel IDs associated with given user and channel name. |
| protected Serializable | |
| pack-priv static ConcurrentMap | |
| protected void | register(Serializable
The user. user, String The session based user ID. userId)Register application user based on given user and session based user ID. |
| applicationUsers | back to summary |
|---|---|
| private final ConcurrentMap<Serializable, Set<String>> applicationUsers | |
| ESTIMATED_CHANNELS_IDS_PER_USER | back to summary |
|---|---|
| private static final int ESTIMATED_CHANNELS_IDS_PER_USER | |
| ESTIMATED_SESSIONS_PER_USER | back to summary |
|---|---|
| private static final int ESTIMATED_SESSIONS_PER_USER | |
| ESTIMATED_USER_CHANNELS_PER_APPLICATION | back to summary |
|---|---|
| private static final int ESTIMATED_USER_CHANNELS_PER_APPLICATION | |
| ESTIMATED_USER_CHANNELS_PER_SESSION | back to summary |
|---|---|
| private static final int ESTIMATED_USER_CHANNELS_PER_SESSION | |
| userChannels | back to summary |
|---|---|
| private final ConcurrentMap<String, ConcurrentMap<String, Set<String>>> userChannels | |
| WebsocketUserManager | back to summary |
|---|---|
| public WebsocketUserManager() | |
| addChannelId | back to summary |
|---|---|
| protected void addChannelId(String userId, String channel, String channelId) Add user channel ID associated with given session based user ID and channel name. | |
| deregister | back to summary |
|---|---|
| protected void deregister(Serializable user, String userId) Deregister application user associated with given user and session based user ID.
| |
| getApplicationUserChannelIds | back to summary |
|---|---|
| private Set | |
| getChannelIds | back to summary |
|---|---|
| protected Set Resolve the user-specific channel IDs associated with given user and channel name.
| |
| getUser | back to summary |
|---|---|
| protected Serializable getUser(String channel, String channelId) Resolve the user associated with given channel name and ID.
| |
| getUserChannels | back to summary |
|---|---|
| pack-priv static ConcurrentMap For internal usage only. This makes it possible to save and restore user specific channels during server
restart/failover in | |
| register | back to summary |
|---|---|
| protected void register(Serializable user, String userId) Register application user based on given user and session based user ID.
| |