Fix 'home' bugs
[hcoop/domtool2.git] / configDefault / mailman.cfg
index 837554d..5be37df 100644 (file)
@@ -4,7 +4,6 @@ val node = "deleuze"
 
 val mapFile = "/var/domtool/mailman.map"
 
-val reload = "cp /var/domtool/mailman.map /etc/mailman ; echo \"I would reload Mailman now.\""
-(*"/etc/init.d/mailman reload"*)
+val reload = "/usr/bin/sudo /usr/local/sbin/domtool-publish mailman"
 
 end