X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1824f573f7f8720514af1dc94d7cfb1de5b15fef..44a5ce2fefb401654d7578db21f7e4e88b60b851:/src/main.sig diff --git a/src/main.sig b/src/main.sig index c086bd5..f8d6b94 100644 --- a/src/main.sig +++ b/src/main.sig @@ -38,12 +38,14 @@ signature MAIN = sig val requestRevoke : Acl.acl -> unit val requestListPerms : string -> (string * string list) list option val requestWhoHas : {class : string, value : string} -> string list option - val requestRmdom : string -> unit + val requestRmdom : string list -> unit val requestRegen : unit -> unit + val requestRmuser : string -> unit val service : unit -> unit val slave : unit -> unit + val listBasis : unit -> string list val autodocBasis : string -> unit end