diff -r 4b34dc3046e6 -r 9e7847dcbd94 web/views/debug.py
--- a/web/views/debug.py Tue Mar 05 15:37:37 2013 +0100
+++ b/web/views/debug.py Mon Mar 11 18:37:01 2013 +0100
@@ -131,10 +131,13 @@
sessions = SESSION_MANAGER.current_sessions()
w(u'
%s
' % _('opened web sessions'))
if sessions:
+ n_no_cnx_sessions = 0
w(u'')
for session in sessions:
if not session.cnx:
- w(u'- %s (NO CNX)
' % session.sessionid)
+ # We do not want to list all sessions without cnx
+ # Their session ID are useless, hence we just count them
+ n_no_cnx_sessions += 1
continue
try:
last_usage_time = session.cnx.check()
@@ -148,6 +151,9 @@
dict_to_html(w, session.data)
w(u'')
w(u'
')
+ if n_no_cnx_sessions > 0:
+ w(u'%s %s
' % (n_no_cnx_sessions,
+ _('web sessions without CNX')))
else:
w(u'%s
' % _('no web sessions found'))