web/views/sessions.py
changeset 9543 39f981482e34
parent 9071 46885bfa4150
parent 9492 c7fc56eecd1a
child 9573 99166335a8e0
equal deleted inserted replaced
9520:78702b55c089 9543:39f981482e34
    86         # XXX: this should be in a post login hook in the repository, but there
    86         # XXX: this should be in a post login hook in the repository, but there
    87         #      we can't differentiate actual login of automatic session
    87         #      we can't differentiate actual login of automatic session
    88         #      reopening. Is it actually a problem?
    88         #      reopening. Is it actually a problem?
    89         if 'last_login_time' in req.vreg.schema:
    89         if 'last_login_time' in req.vreg.schema:
    90             self._update_last_login_time(session)
    90             self._update_last_login_time(session)
    91         req.set_message(req._('welcome %s !') % session.user.login)
    91         req.set_message(req._('welcome %s!') % session.user.login)
    92 
    92 
    93     def _update_last_login_time(self, session):
    93     def _update_last_login_time(self, session):
    94         # XXX should properly detect missing permission / non writeable source
    94         # XXX should properly detect missing permission / non writeable source
    95         # and avoid "except (RepositoryError, Unauthorized)" below
    95         # and avoid "except (RepositoryError, Unauthorized)" below
    96         try:
    96         try: