server/session.py
changeset 9543 39f981482e34
parent 9509 592c22e1c5f0
parent 9484 31f070752462
child 9557 a3c075fe9385
equal deleted inserted replaced
9520:78702b55c089 9543:39f981482e34
  1738 Session.DEFAULT_SECURITY = DEFAULT_SECURITY
  1738 Session.DEFAULT_SECURITY = DEFAULT_SECURITY
  1739 
  1739 
  1740 
  1740 
  1741 
  1741 
  1742 class InternalSession(Session):
  1742 class InternalSession(Session):
  1743     """special session created internaly by the repository"""
  1743     """special session created internally by the repository"""
  1744     is_internal_session = True
  1744     is_internal_session = True
  1745     running_dbapi_query = False
  1745     running_dbapi_query = False
  1746 
  1746 
  1747     def __init__(self, repo, cnxprops=None, safe=False):
  1747     def __init__(self, repo, cnxprops=None, safe=False):
  1748         super(InternalSession, self).__init__(InternalManager(), repo, cnxprops,
  1748         super(InternalSession, self).__init__(InternalManager(), repo, cnxprops,