patch to make it work with 0.11

[jodok]

+    def get_users_with_permissions(self, permissions):
+        users = set([u[0] for u in self.env.get_known_users()])
+        result = set()
+        for user in users:
+            userperms = self.get_user_permissions(user)
+            for group in permissions:
+                if group in userperms:
+                    result.add(user)
+        return list(result)
+

[jpschewe]

Where does this need to go for it to work? Just into api.py anywhere?

[jodok]

yes, just api.py - sorry for omitting the patch header.

[anonymous]

Which class does it belong in? I'd like to test this on my setup as well and see if it solves my problem.

[eblot]

(In [5686]) Fixes #3869. Thanks for the patch, jodok