web/views/debug.py
changeset 8669 62213a34726e
parent 8190 2a3c1b787688
child 8696 0bb18407c053
--- a/web/views/debug.py	Thu Jan 10 23:05:45 2013 +0100
+++ b/web/views/debug.py	Mon Jan 21 18:01:25 2013 +0100
@@ -103,7 +103,7 @@
                    % (element, xml_escape(unicode(stats[element])),
                       element.endswith('percent') and '%' or '' ))
         w(u'</table>')
-        if req.cnx._cnxtype == 'inmemory' and req.user.is_in_group('managers'):
+        if req.cnx.is_repo_in_memory and req.user.is_in_group('managers'):
             w(u'<h3>%s</h3>' % _('opened sessions'))
             sessions = repo._sessions.values()
             if sessions: