equal
deleted
inserted
replaced
116 sessions = SESSION_MANAGER.current_sessions() |
116 sessions = SESSION_MANAGER.current_sessions() |
117 w(u'<h3>%s</h3>' % _('opened web sessions')) |
117 w(u'<h3>%s</h3>' % _('opened web sessions')) |
118 if sessions: |
118 if sessions: |
119 w(u'<ul>') |
119 w(u'<ul>') |
120 for session in sessions: |
120 for session in sessions: |
|
121 try: |
|
122 last_usage_time = session.cnx.check() |
|
123 except BadConnectionId: |
|
124 w(u'<li>%s (INVALID)</li>' % session.sessionid) |
|
125 continue |
121 w(u'<li>%s (%s: %s)<br/>' % ( |
126 w(u'<li>%s (%s: %s)<br/>' % ( |
122 session.sessionid, |
127 session.sessionid, |
123 _('last usage'), |
128 _('last usage'), |
124 strftime(dtformat, localtime(session.last_usage_time)))) |
129 strftime(dtformat, localtime(last_usage_time)))) |
125 dict_to_html(w, session.data) |
130 dict_to_html(w, session.data) |
126 w(u'</li>') |
131 w(u'</li>') |
127 w(u'</ul>') |
132 w(u'</ul>') |
128 else: |
133 else: |
129 w(u'<p>%s</p>' % _('no web sessions found')) |
134 w(u'<p>%s</p>' % _('no web sessions found')) |