X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/24248d627b677abd0a21092f71c445b0934f2bdc..a8e88df70a675cce965380df971c9e3c4d283a5e:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 29f41b1..0f90ba9 100644 --- a/src/main.sig +++ b/src/main.sig @@ -29,10 +29,10 @@ signature MAIN = sig val basis : unit -> Env.env - val reduce : Env.env -> string -> (Env.env * Ast.exp) option + val reduce : Env.env -> string -> Env.env * Ast.exp option val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars - val request : string -> unit + val request : string * string option -> unit val requestDir : string -> unit val requestPing : unit -> OS.Process.status @@ -46,6 +46,7 @@ signature MAIN = sig val requestRegenTc : unit -> unit val requestRmuser : string -> unit val requestDescribe : string -> unit + val requestReUsers : unit -> unit val requestSlavePing : unit -> OS.Process.status val requestSlaveShutdown : unit -> unit @@ -58,7 +59,7 @@ 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 requestDbTable : {dbtype : string, dbname : string, encoding : string option} -> unit val requestDbDrop : {dbtype : string, dbname : string} -> unit val requestDbGrant : {dbtype : string, dbname : string} -> unit @@ -82,4 +83,6 @@ signature MAIN = sig val requestTrustedPath : {node : string, uname : string} -> OS.Process.status val requestSocketPerm : {node : string, uname : string} -> OS.Process.status val requestFirewall : {node : string, uname : string} -> OS.Process.status + + val requestFirewallRegen : string -> OS.Process.status end