# HG changeset patch
# User luisf <luis.figueira@eecs.qmul.ac.uk>
# Date 1343929359 -3600
# Node ID 83866d58f2dd2ba36e5fef9f5a4a5270e8f071bd
# Parent  03975ec7378dbb0034215fe2d5f1cf66d03592b3
Makes explicit that the "user" is a Group.

diff -r 03975ec7378d -r 83866d58f2dd app/helpers/application_helper.rb
--- a/app/helpers/application_helper.rb	Wed Jul 11 14:43:58 2012 +0100
+++ b/app/helpers/application_helper.rb	Thu Aug 02 18:42:39 2012 +0100
@@ -291,7 +291,13 @@
   def principals_check_box_tags(name, principals)
     s = ''
     principals.sort.each do |principal|
-      s << "<label>#{ check_box_tag name, principal.id, false } #{link_to_user principal}</label>\n"
+      
+      if principal.type == "User":      
+        s << "<label>#{ check_box_tag name, principal.id, false } #{link_to_user principal}</label>\n"
+      else
+        s << "<label>#{ check_box_tag name, principal.id, false } #{h principal} (Group)</label>\n"
+      end
+      
     end
     s.html_safe
   end