X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9a34b0017d95d8ff3563a0afa583c92e6356ad6f..a8e88df70a675cce965380df971c9e3c4d283a5e:/src/main.sig diff --git a/src/main.sig b/src/main.sig index ee637e4..0f90ba9 100644 --- a/src/main.sig +++ b/src/main.sig @@ -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 @@ -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