configDefault/mailman.cfg

   1 structure Mailman :> MAILMAN_CONFIG = struct
   2
   3 val node = "deleuze"
   4
   5 val mapFile = "/var/domtool/mailman.map"
   6
   7 val reload = "cp /var/domtool/mailman.map /etc/mailman ; echo \"I would reload Mailman now.\""
   8 (*"/etc/init.d/mailman reload"*)
   9
  10 end