X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/094877b11a71011cc7af7dc1b5a6b853b4985c6d..e69e60ccf1aa77a40cd5b15c4361f378ce332a42:/src/acl.sml

diff --git a/src/acl.sml b/src/acl.sml
index e57f186..135e555 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
@@ -62,6 +64,10 @@ fun class {user, class} =
 	    NONE => SS.empty
 	  | SOME values => values
 
+fun rmuser user =
+    (acl := #1 (SM.remove (!acl, user)))
+    handle NotFound => ()
+
 fun grant {user, class, value} =
     let
 	val classes = Option.getOpt (SM.find (!acl, user), SM.empty)
@@ -87,6 +93,14 @@ fun revoke {user, class, value} =
 				     values))
     end
 
+fun revokeFromAll {class, value} =
+    acl := SM.map (fn classes =>
+		      case SM.find (classes, class) of
+			  NONE => classes
+			| SOME values =>
+			  ((SM.insert (classes, class, SS.delete (values, value)))
+			   handle NotFound => classes)) (!acl)
+
 fun read fname =
     let
 	val inf = TextIO.openIn fname
@@ -125,15 +139,21 @@ fun write fname =
 				      TextIO.output (outf, value)))
 
 	val writeClasses = SM.appi (fn (class, values) =>
-				       (TextIO.output (outf, class);
-					writeValues values;
-					TextIO.output (outf, "\n")))
+				       if SS.isEmpty values then
+					   ()
+				       else
+					   (TextIO.output (outf, class);
+					    writeValues values;
+					    TextIO.output (outf, "\n")))
 
 	val writeUsers = SM.appi (fn (user, classes) =>
-				     (TextIO.output (outf, user);
-				      TextIO.output (outf, "\n");
-				      writeClasses classes;
-				      TextIO.output (outf, "\n")))
+				     if SM.numItems classes = 0 then
+					 ()
+				     else
+					 (TextIO.output (outf, user);
+					  TextIO.output (outf, "\n");
+					  writeClasses classes;
+					  TextIO.output (outf, "\n")))
     in
 	writeUsers (!acl);
 	TextIO.closeOut outf