# HG changeset patch
# User Sverre Rabbelier <srabbelier@gmail.com>
# Date 1234627006 0
# Node ID 7c58f5cdd5b864af52338be922fdcc072c6ee3a8
# Parent  b832e02d70c1945d7e087c8a2fe33a8f9c234795
Developers have all roles

Patch by: Sverre Rabbelier

diff -r b832e02d70c1 -r 7c58f5cdd5b8 app/soc/views/helper/access.py
--- a/app/soc/views/helper/access.py	Sat Feb 14 15:56:22 2009 +0000
+++ b/app/soc/views/helper/access.py	Sat Feb 14 15:56:46 2009 +0000
@@ -355,6 +355,13 @@
       roles: a list of roles to check
     """
 
+    try:
+      # we need to check manually, as we must return True!
+      self.checkIsDeveloper(django_args)
+      return True
+    except out_of_band.Error:
+      pass
+
     for role in roles:
       try:
         checker_name, args = self.normalizeChecker(self.MEMBERSHIP[role])