X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e2ef704edc5bd99f32f11c9d3eeeef5b81b7da2a..77a8fca278b561808959fa1aa7d9f02c5cfe7720:/src/acl.sml

diff --git a/src/acl.sml b/src/acl.sml
index 6634f91..be30fdf 100644
--- a/src/acl.sml
+++ b/src/acl.sml
@@ -44,6 +44,8 @@ fun queryAll user =
 				      (class, SS.foldr (op::) [] values) :: out)
 				  [] classes
 
+fun users () = SM.foldri (fn (user, _, ls) => user :: ls) [] (!acl)
+
 fun whoHas {class, value} =
     SM.foldri (fn (user, classes, users) =>
 		  case SM.find (classes, class) of