changeset 8696 | 0bb18407c053 |
parent 8669 | 62213a34726e |
child 8718 | 9e7847dcbd94 |
--- a/web/views/debug.py Thu Feb 14 15:38:25 2013 +0100 +++ b/web/views/debug.py Thu Feb 14 16:01:24 2013 +0100 @@ -105,7 +105,7 @@ w(u'</table>') 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() + sessions = repo._sessions.itervalues() if sessions: w(u'<ul>') for session in sessions: