X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/86e132be99dcdbf2271119267cea6b91eb8207c3..314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b:/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