X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/62260c5f8627aa2abfd27f7c2e653eb3d900d793..e1b99e23f8d30efc7842ee006e0ff3ef0347b7df:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 63f24e5..78bb42f 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 @@ -44,6 +45,9 @@ signature MAIN = sig val requestRegen : unit -> unit val requestRmuser : string -> unit + val requestSlavePing : unit -> OS.Process.status + val requestSlaveShutdown : unit -> unit + val service : unit -> unit val slave : unit -> unit @@ -65,4 +69,11 @@ signature MAIN = sig val requestSaSet : string * bool -> unit val requestSmtpLog : string -> unit + + val requestApt : {node : string, pkg : string} -> OS.Process.status + val requestCron : {node : string, uname : string} -> OS.Process.status + val requestFtp : {node : string, uname : string} -> OS.Process.status + 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 end