From: Adam Chlipala Date: Sun, 16 Mar 2008 00:07:02 +0000 (+0000) Subject: Don't revoke ACL entries on rmdom X-Git-Tag: release_2010-11-19~38 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/284f3883a04dae06a49b39b4cbf2665c4acef159?ds=sidebyside Don't revoke ACL entries on rmdom --- diff --git a/src/main.sml b/src/main.sml index 381badb..9530bcd 100644 --- a/src/main.sml +++ b/src/main.sml @@ -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; - app (fn dom => + (*app (fn dom => 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