domtool-admin regen -tc

[hcoop/domtool2.git] / src / msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 4827c62..00dc82a 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -112,5 +112,7 @@ datatype msg =
        (* Answer to a QSocket query *)
        | MsgFirewall of string list
        (* Answer to a QFirewall query *)
+       | MsgRegenerateTc
+       (* MsgRegenerate without actual publishing of configuration *)
 
 end