v1

latestOpenAPI 3.1.02026-07-1740131135.9 KB

Get Session

Return an interactive session with a given id for the current user.

Args: request (GetSessionRequest): a request containing the id of the session. user (Annotated[User, Depends): the current user. session (Annotated[Session, Depends): the database session.

Raises: HTTPException: could not find an interactive session with the given id for the current user.

Returns: InteractiveSessionInfo: info on the requested interactive session.

post/session/get

Request body

session_idinteger required

Response

Successful Response

idinteger nullable required
user_idinteger nullable required
infostring nullable required