Provides the ServerSession class.
ServerSession
Hosts an application “instance” (an instantiated Document) for one or more connections.
patch
Handle a PATCH-DOC, return a Future with work to be scheduled.
pull
Handle a PULL-DOC, return a Future with work to be scheduled.
push
Handle a PUSH-DOC, return a Future with work to be scheduled.
request_expiration
Used in test suite for now. Forces immediate expiration if no connections.
subscribe
This should only be called by ServerConnection.subscribe_session or our book-keeping will be broken
ServerConnection.subscribe_session
unsubscribe
This should only be called by ServerConnection.unsubscribe_session or our book-keeping will be broken
ServerConnection.unsubscribe_session
token
A JWT token to authenticate the session.
current_time
Return the time in milliseconds since the epoch as a floating point number.