server/session.py
changeset 2778 3f6dfc312760
parent 2764 55579275a091
child 2783 493f527aed1e
child 2784 f395115070c1
equal deleted inserted replaced
2777:8f7fcbe11879 2778:3f6dfc312760
    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.login.encode('UTF8'))
    51         self.id = _id or make_uid(user.cwdb.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()