HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Allow rmdom on subdomains of those on the user's ACL
[hcoop/domtool2.git]
/
src
/
acl.sig
diff --git
a/src/acl.sig
b/src/acl.sig
index
846b331
..
a88bddd
100644
(file)
--- a/
src/acl.sig
+++ b/
src/acl.sig
@@
-52,4
+52,6
@@
signature ACL = sig
val write : string -> unit
(* Read/write saved ACL state from/to a file *)
val write : string -> unit
(* Read/write saved ACL state from/to a file *)
+ val queryDomain : {user : string, domain : string} -> bool
+ (* Like a call to [query] for class 'domain', but considers subdomains, too *)
end
end