This document is for an in-development version of Galaxy. You can alternatively view this page in the latest release if it exists or view the top of the latest release's documentation.

Source code for galaxy.managers.session

import logging

from sqlalchemy import (
from sqlalchemy.orm import (

from galaxy.model.base import SharedModelMapping

log = logging.getLogger(__name__)

[docs]class GalaxySessionManager: """Manages GalaxySession."""
[docs] def __init__(self, model: SharedModelMapping): self.model = model self.sa_session = model.context
[docs] def get_session_from_session_key(self, session_key: str): """Returns GalaxySession if session_key is valid.""" # going through self.model since this can be used by Galaxy or Toolshed despite # type annotations galaxy_session = self.sa_session.query(self.model.GalaxySession).filter( and_( self.model.GalaxySession.table.c.session_key == session_key, self.model.GalaxySession.table.c.is_valid == true()) ).options(joinedload("user")).first() return galaxy_session