HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
861773f
)
Don't revoke ACL entries on rmdom
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 16 Mar 2008 00:07:02 +0000
(
00:07
+0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 16 Mar 2008 00:07:02 +0000
(
00:07
+0000)
src/main.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/main.sml
b/src/main.sml
index
381badb
..
9530bcd
100644
(file)
--- 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;
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