- class ServerConnection(protocol: Protocol, socket: WSHandler, application_context: ApplicationContext, session: ServerSession)[source]#
Wraps a websocket connection to a client.
Public Data Attributes:
__init__(protocol, socket, ...)
Allow the session to be discarded and don't get change notifications from it anymore
Sends a PATCH-DOC message, returning a Future that's completed when it's written out.
- 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.