server/session.py
changeset 9484 31f070752462
parent 9411 6aec72169ee1
child 9543 39f981482e34
equal deleted inserted replaced
9483:bb6fd9d32ba9 9484:31f070752462
  1425 Session.DEFAULT_SECURITY = DEFAULT_SECURITY
  1425 Session.DEFAULT_SECURITY = DEFAULT_SECURITY
  1426 
  1426 
  1427 
  1427 
  1428 
  1428 
  1429 class InternalSession(Session):
  1429 class InternalSession(Session):
  1430     """special session created internaly by the repository"""
  1430     """special session created internally by the repository"""
  1431     is_internal_session = True
  1431     is_internal_session = True
  1432     running_dbapi_query = False
  1432     running_dbapi_query = False
  1433 
  1433 
  1434     def __init__(self, repo, cnxprops=None, safe=False):
  1434     def __init__(self, repo, cnxprops=None, safe=False):
  1435         super(InternalSession, self).__init__(InternalManager(), repo, cnxprops,
  1435         super(InternalSession, self).__init__(InternalManager(), repo, cnxprops,