Now builds with MLton

[hcoop/domtool2.git] / configDefault / mailman.cfg

diff --git a/configDefault/mailman.cfg b/configDefault/mailman.cfg
index ab6f51a..837554d 100644 (file)
--- a/configDefault/mailman.cfg
+++ b/configDefault/mailman.cfg
@@ -1,10 +1,10 @@
 structure Mailman :> MAILMAN_CONFIG = struct
 
 structure Mailman :> MAILMAN_CONFIG = struct
 

-val node = "this"
+val node = "deleuze"

 
 

-val mapFile = "/home/adamc/fake/mailman.map"
+val mapFile = "/var/domtool/mailman.map"

 
 

-val reload = "echo \"I would reload Mailman now.\""
-(* "/etc/init.d/mailman reload" *)
+val reload = "cp /var/domtool/mailman.map /etc/mailman ; echo \"I would reload Mailman now.\""
+(*"/etc/init.d/mailman reload"*)

 
 end
 
 end