From 284f3883a04dae06a49b39b4cbf2665c4acef159 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Mar 2008 00:07:02 +0000 Subject: [PATCH] Don't revoke ACL entries on rmdom --- src/main.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.20.1