def push_session(document, session_id=None, url='default', app_path='/', io_loop=None):
 coords = _SessionCoordinates(dict(session_id=session_id, url=url, app_path=app_path))
 session = ClientSession(session_id=coords.session_id, websocket_url=coords.websocket_url, io_loop=io_loop)
 session.push(document)
 return session

def push_session ( document , session_id = None , url = 'default' , app_path = '/' , io_loop = None ) : coords = _SessionCoordinates ( dict ( session_id = session_id , url = url , app_path = app_path ) ) session = ClientSession ( session_id = coords . session_id , websocket_url = coords . websocket_url , io_loop = io_loop ) session . push ( document ) return session
create a session by pushing the given document to the server .