Don't revoke ACL entries on rmdom
authorAdam Chlipala <adamc@hcoop.net>
Sun, 16 Mar 2008 00:07:02 +0000 (00:07 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 16 Mar 2008 00:07:02 +0000 (00:07 +0000)
src/main.sml

index 381badb..9530bcd 100644 (file)
@@ -1285,9 +1285,9 @@ fun service () =
                                          if Acl.query {user = user, class = "priv", value = "all"}
                                             orelse List.all (fn dom => Acl.query {user = user, class = "domain", value = dom}) doms then
                                              (Domain.rmdom doms;
                                          if Acl.query {user = user, class = "priv", value = "all"}
                                             orelse List.all (fn dom => Acl.query {user = user, class = "domain", value = dom}) doms then
                                              (Domain.rmdom doms;
-                                              app (fn dom =>
+                                              (*app (fn dom =>
                                                       Acl.revokeFromAll {class = "domain", value = dom}) doms;
                                                       Acl.revokeFromAll {class = "domain", value = dom}) doms;
-                                              Acl.write Config.aclFile;
+                                              Acl.write Config.aclFile;*)
                                               ("Removed domains" ^ foldl (fn (d, s) => s ^ " " ^ d) "" doms ^ ".",
                                                NONE))
                                          else
                                               ("Removed domains" ^ foldl (fn (d, s) => s ^ " " ^ d) "" doms ^ ".",
                                                NONE))
                                          else