Better error message for fwtool

[hcoop/domtool2.git] / configDefault / courier.csg

diff --git a/configDefault/courier.csg b/configDefault/courier.csg
index b1f544d..15b382e 100644 (file)
--- a/configDefault/courier.csg
+++ b/configDefault/courier.csg
@@ -10,5 +10,8 @@ signature COURIER_CONFIG = sig
     val postReload : string
                     
     val logFile : string
+
+    val pushUserdb : string
+    val pullUserdb : string
                  
 end