equal
deleted
inserted
replaced
103 % (element, xml_escape(unicode(stats[element])), |
103 % (element, xml_escape(unicode(stats[element])), |
104 element.endswith('percent') and '%' or '' )) |
104 element.endswith('percent') and '%' or '' )) |
105 w(u'</table>') |
105 w(u'</table>') |
106 if req.cnx.is_repo_in_memory and req.user.is_in_group('managers'): |
106 if req.cnx.is_repo_in_memory and req.user.is_in_group('managers'): |
107 w(u'<h3>%s</h3>' % _('opened sessions')) |
107 w(u'<h3>%s</h3>' % _('opened sessions')) |
108 sessions = repo._sessions.values() |
108 sessions = repo._sessions.itervalues() |
109 if sessions: |
109 if sessions: |
110 w(u'<ul>') |
110 w(u'<ul>') |
111 for session in sessions: |
111 for session in sessions: |
112 w(u'<li>%s (%s: %s)<br/>' % ( |
112 w(u'<li>%s (%s: %s)<br/>' % ( |
113 xml_escape(unicode(session)), |
113 xml_escape(unicode(session)), |