X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f9548f1652232653178ffd9839b9cbbf7f87316b..99cc41443c07f97535eaeecc628d99075ca2cebf:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 3b0c791..97231f5 100644 --- a/src/main.sig +++ b/src/main.sig @@ -21,6 +21,7 @@ signature MAIN = sig val init : unit -> unit + val setupUser : unit -> string val check : string -> Env.env * Ast.exp option val check' : Env.env -> string -> Env.env @@ -42,6 +43,7 @@ signature MAIN = sig val requestWhoHas : {class : string, value : string} -> string list option val requestRmdom : string list -> unit val requestRegen : unit -> unit + val requestRegenTc : unit -> unit val requestRmuser : string -> unit val requestSlavePing : unit -> OS.Process.status @@ -56,6 +58,8 @@ signature MAIN = sig val requestDbUser : {dbtype : string, passwd : string option} -> unit val requestDbPasswd : {dbtype : string, passwd : string} -> unit val requestDbTable : {dbtype : string, dbname : string} -> unit + val requestDbDrop : {dbtype : string, dbname : string} -> unit + val requestDbGrant : {dbtype : string, dbname : string} -> unit val requestListMailboxes : string -> Vmail.listing val requestNewMailbox : {domain : string, user : string,