changeset 2433 | 1d46c016a564 |
parent 2381 | caad2367d940 |
child 2650 | 18aec79ec3a3 |
--- a/web/views/management.py Thu Jul 23 12:47:09 2009 +0200 +++ b/web/views/management.py Thu Jul 23 13:03:50 2009 +0200 @@ -283,7 +283,7 @@ class ProcessInformationView(StartupView): id = 'info' - __select__ = none_rset() & match_user_groups('managers') + __select__ = none_rset() & match_user_groups('users', 'managers') title = _('server information')