Provides the ServerSession class.

class ServerConnection(protocol: Protocol, socket: WSHandler, application_context: ApplicationContext, session: ServerSession)[source]#

Wraps a websocket connection to a client.

detach_session() None[source]#

Allow the session to be discarded and don’t get change notifications from it anymore

send_patch_document(event: DocumentPatchedEvent) Awaitable[None][source]#

Sends a PATCH-DOC message, returning a Future that’s completed when it’s written out.