domtool-admin regen -tc

[hcoop/domtool2.git] / src / main.sig

diff --git a/src/main.sig b/src/main.sig
index 78bb42f..cddbeba 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -43,6 +43,7 @@ signature MAIN = sig
     val requestWhoHas : {class : string, value : string} -> string list option
     val requestRmdom : string list -> unit
     val requestRegen : unit -> unit
     val requestWhoHas : {class : string, value : string} -> string list option
     val requestRmdom : string list -> unit
     val requestRegen : unit -> unit

+    val requestRegenTc : unit -> unit

     val requestRmuser : string -> unit
 
     val requestSlavePing : unit -> OS.Process.status
     val requestRmuser : string -> unit
 
     val requestSlavePing : unit -> OS.Process.status