X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/62260c5f8627aa2abfd27f7c2e653eb3d900d793..c9731b9b3ee43c4c8d82c31009a5870a01d3acfa:/src/main.sig?ds=sidebyside

diff --git a/src/main.sig b/src/main.sig
index 63f24e5..6c00df4 100644
--- a/src/main.sig
+++ b/src/main.sig
@@ -44,6 +44,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