Server state machines can use the
Sessions object to access the list of sessions currently open to the
state machine. Session sets are guaranteed to be deterministic. All state machines will see the same set of
open sessions at the same point in the log except in cases where a session has already been closed and removed.
If a session has already been closed on another server, the session is guaranteed to have been expired on all
servers and thus operations like
Session.publish(PrimitiveEvent) are effectively no-ops.
|Modifier and Type||Method and Description|
Adds a listener to the sessions.
Returns a session by session ID.
Removes a listener from the sessions.
Session getSession(long sessionId)
sessionId- The session ID.
nullif no session with the given
Sessions addListener(SessionListener listener)
listener- The listener to add.
NullPointerException- if the session
Copyright © 2013–2018. All rights reserved.