# HG changeset patch # User Christophe Lincoln # Date 1389186352 -3600 # Node ID 95ac80c4d7b293fdbd37251c35b16d068b37a064 # Parent 72256c35d685324f33daeb1f4c57079f216b2427 Avoid vars name conflict diff -r 72256c35d685 -r 95ac80c4d7b2 web/bugs.cgi --- a/web/bugs.cgi Wed Jan 08 08:50:30 2014 +0100 +++ b/web/bugs.cgi Wed Jan 08 14:05:52 2014 +0100 @@ -136,7 +136,7 @@ cat << EOT
[ User ] - $(gettext 'Log in') + $(gettext 'Login')
EOT fi diff -r 72256c35d685 -r 95ac80c4d7b2 web/plugins/users/users.cgi --- a/web/plugins/users/users.cgi Wed Jan 08 08:50:30 2014 +0100 +++ b/web/plugins/users/users.cgi Wed Jan 08 14:05:52 2014 +0100 @@ -35,9 +35,9 @@ done echo "" && exit 0 ;; - *\ online\ *) + *\ logged\ *) # Show online users based on sessions files. - d="Online users" + d="Logged users" header html_header user_box @@ -46,7 +46,7 @@ exit 0 fi cat << EOT -

Online users

+

Logged users

Dashboard
diff -r 72256c35d685 -r 95ac80c4d7b2 web/plugins/users/users.conf --- a/web/plugins/users/users.conf Wed Jan 08 08:50:30 2014 +0100 +++ b/web/plugins/users/users.conf Wed Jan 08 14:05:52 2014 +0100 @@ -6,7 +6,7 @@ # Authentfied users PLUGINS_TOOLS="${PLUGINS_TOOLS}" -DASHBOARD_TOOLS="Online users" +DASHBOARD_TOOLS="Logged users" # Admin only in Dashboard ADMIN_TOOLS="${ADMIN_TOOLS} List users"