X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/00a077ab9685604472c9727eaf2b2be258f0268a..1ffc47a68def0e10e393ad4d8e62b7d6f7300c01:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 55ad560..53f019d 100644 --- a/src/main.sig +++ b/src/main.sig @@ -45,6 +45,7 @@ signature MAIN = sig val requestRegen : unit -> unit val requestRegenTc : unit -> unit val requestRmuser : string -> unit + val requestDescribe : string -> unit val requestSlavePing : unit -> OS.Process.status val requestSlaveShutdown : unit -> unit