equal
deleted
inserted
replaced
59 self.debug('cleaning http sessions') |
59 self.debug('cleaning http sessions') |
60 session_time = self.session_time |
60 session_time = self.session_time |
61 closed, total = 0, 0 |
61 closed, total = 0, 0 |
62 for session in self.current_sessions(): |
62 for session in self.current_sessions(): |
63 total += 1 |
63 total += 1 |
64 try: |
64 last_usage_time = session.mtime |
65 last_usage_time = session.cnx.check() |
|
66 except AttributeError: |
|
67 last_usage_time = session.mtime |
|
68 except BadConnectionId: |
|
69 self.close_session(session) |
|
70 closed += 1 |
|
71 continue |
|
72 |
|
73 no_use_time = (time() - last_usage_time) |
65 no_use_time = (time() - last_usage_time) |
74 if session.anonymous_session: |
66 if session.anonymous_session: |
75 if no_use_time >= self.cleanup_anon_session_time: |
67 if no_use_time >= self.cleanup_anon_session_time: |
76 self.close_session(session) |
68 self.close_session(session) |
77 closed += 1 |
69 closed += 1 |