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: