X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a09d0e829dadfe9c59724b1f953f50d148747f99..fb6fac97106809e2b90f16e9f1d6176c329a5d40:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 4827c62..00dc82a 100644
--- 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