equal
deleted
inserted
replaced
80 |
80 |
81 def close_session(self, session): |
81 def close_session(self, session): |
82 """close session on logout or on invalid session detected (expired out, |
82 """close session on logout or on invalid session detected (expired out, |
83 corrupted...) |
83 corrupted...) |
84 """ |
84 """ |
85 self.info('closing http session %s' % session) |
85 self.info('closing http session %s' % session.sessionid) |
86 del self._sessions[session.sessionid] |
86 del self._sessions[session.sessionid] |
87 try: |
87 try: |
88 session.cnx.close() |
88 session.cnx.close() |
89 except: |
89 except: |
90 # already closed, may occurs if the repository session expired but |
90 # already closed, may occurs if the repository session expired but |