X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/08a04eb413e8ee58ee35affc5c4125b622ea75c4..86aa5de7d9f2754d50489432ffaa43cba3fa170f:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 88e0a65..ca699b8 100644 --- a/src/main.sig +++ b/src/main.sig @@ -24,6 +24,7 @@ signature MAIN = sig val check : string -> Env.env * Ast.exp option val check' : Env.env -> string -> Env.env + val checkDir : string -> unit val basis : unit -> Env.env @@ -31,13 +32,35 @@ signature MAIN = sig val eval : string -> unit val request : string -> unit + val requestDir : string -> unit + val requestGrant : Acl.acl -> unit 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 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 + val requestDbUser : {dbtype : string, passwd : string option} -> unit + val requestDbPasswd : {dbtype : string, passwd : string} -> unit + val requestDbTable : {dbtype : string, dbname : string} -> unit + + val requestListMailboxes : string -> Vmail.listing + val requestNewMailbox : {domain : string, user : string, + passwd : string, mailbox : string} -> unit + val requestPasswdMailbox : {domain : string, user : string, passwd : string} + -> unit + val requestRmMailbox : {domain : string, user : string} -> unit + + val requestSaQuery : string -> unit + val requestSaSet : string * bool -> unit + + val requestSmtpLog : string -> unit end