diff -r b5f15098f282 -r d56fd78006cd web/views/debug.py
--- a/web/views/debug.py Mon Jul 26 12:07:00 2010 +0200
+++ b/web/views/debug.py Mon Jul 26 12:08:24 2010 +0200
@@ -118,10 +118,15 @@
if sessions:
w(u'
')
for session in sessions:
+ try:
+ last_usage_time = session.cnx.check()
+ except BadConnectionId:
+ w(u'- %s (INVALID)
' % session.sessionid)
+ continue
w(u'- %s (%s: %s)
' % (
session.sessionid,
_('last usage'),
- strftime(dtformat, localtime(session.last_usage_time))))
+ strftime(dtformat, localtime(last_usage_time))))
dict_to_html(w, session.data)
w(u' ')
w(u'
')