server/session.py
changeset 2784 f395115070c1
parent 2778 3f6dfc312760
child 2786 971d7c545505
equal deleted inserted replaced
2778:3f6dfc312760 2784:f395115070c1
    46     together
    46     together
    47     """
    47     """
    48 
    48 
    49     def __init__(self, user, repo, cnxprops=None, _id=None):
    49     def __init__(self, user, repo, cnxprops=None, _id=None):
    50         super(Session, self).__init__(repo.vreg)
    50         super(Session, self).__init__(repo.vreg)
    51         self.id = _id or make_uid(user.cwdb.login.encode('UTF8'))
    51         self.id = _id or make_uid(user.login.encode('UTF8'))
    52         cnxprops = cnxprops or ConnectionProperties('inmemory')
    52         cnxprops = cnxprops or ConnectionProperties('inmemory')
    53         self.user = user
    53         self.user = user
    54         self.repo = repo
    54         self.repo = repo
    55         self.cnxtype = cnxprops.cnxtype
    55         self.cnxtype = cnxprops.cnxtype
    56         self.creation = time()
    56         self.creation = time()