--- /dev/null
+structure Mailman :> MAILMAN_CONFIG = struct
+
+val node = "this"
+
+val mapFile = "/home/adamc/fake/mailman.map"
+
+val reload = "echo \"I would reload Mailman now.\""
+(* "/etc/init.d/mailman reload" *)
+
+end
--- /dev/null
+structure Mailman : MAILMAN_CONFIG
--- /dev/null
+signature MAILMAN_CONFIG = sig
+
+ val node : string
+
+ val mapFile : string
+
+ val reload : string
+
+end
{{DNS start-of-authority record}}
extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
+val defaultSoa = soa "ns.hcoop.net" serialAuto 172800 900 1209600 3600;
+
extern type master;
{{Information on the master DNS server for a domain}}
extern val externalMaster : ip -> master;
--- /dev/null
+{{Mailman mailing list system}}
+
+extern val mailmanWebHost : domain -> [Domain];
+{{Set the hostname of the web site for administration of mailing lists for this
+ domain.}}
master = mstr,
slaves = slaves})
| _ => NONE)
+ | (EVar "noDns", _) => SOME NoDns
| _ => NONE
val befores = ref (fn (_ : string) => ())
plugins/webalizer.sig
plugins/webalizer.sml
+plugins/mailman.sig
+plugins/mailman.sml
+
order.sig
order.sml
(Domain.dnsMaster ()))
val _ = Domain.registerAfter
- (fn _ => Option.app TextIO.closeOut (!dns))
+ (fn _ => (Option.app TextIO.closeOut (!dns);
+ dns := NONE))
val dl = ErrorMsg.dummyLoc
val fname = OS.Path.joinDirFile {dir = Config.Bind.zonePath,
file = fname}
in
- OS.FileSys.remove fname
+ Slave.shellF ([Config.rm, " -f ", fname],
+ fn cl => "Error deleting file: " ^ cl)
end
else
let
TextIO.output (outf, Int.toString min);
TextIO.output (outf, " )\n\n");
TextIO.closeOut outf;
- Slave.shellF ([Config.cat, " ", dns, " >>", fname],
- fn cl => "Error concatenating file: " ^ cl);
+ if Posix.FileSys.access (dns, []) then
+ Slave.shellF ([Config.cat, " ", dns, " >>", fname],
+ fn cl => "Error concatenating file: " ^ cl)
+ else
+ ();
didDomain := #domain fs
end
in
--- /dev/null
+(* HCoop Domtool (http://hcoop.sourceforge.net/)
+ * Copyright (c) 2006, Adam Chlipala
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ *)
+
+(* Mailman mailing list handling *)
+
+signature MAILMAN = sig
+
+end
--- /dev/null
+(* HCoop Domtool (http://hcoop.sourceforge.net/)
+ * Copyright (c) 2006, Adam Chlipala
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ *)
+
+(* Mailman mailing list handling *)
+
+structure Mailman :> MAILMAN = struct
+
+val files = ref ([] : TextIO.outstream list)
+val write = ref (fn _ : string => ())
+
+val () = Env.action_one "mailmanWebHost"
+ ("hostname", Env.string)
+ (fn host =>
+ let
+ val outf = Domain.domainFile {node = Config.Mailman.node,
+ name = "mailman"}
+ in
+ TextIO.output (outf, "\t'");
+ TextIO.output (outf, host);
+ TextIO.output (outf, "' : '");
+ TextIO.output (outf, Domain.currentDomain ());
+ TextIO.output (outf, "',\n");
+ TextIO.closeOut outf
+ end)
+
+val mailmanChanged = ref false
+
+val () = Slave.registerPreHandler (fn () => mailmanChanged := false)
+
+val () = Slave.registerFileHandler (fn fs =>
+ let
+ val spl = OS.Path.splitDirFile (#file fs)
+ in
+ case #file spl of
+ "mailman" => mailmanChanged := true
+ | _ => ()
+ end)
+
+val () = Slave.registerPostHandler (fn () =>
+ if !mailmanChanged then
+ (Slave.concatTo (fn s => s = "mailman")
+ Config.Mailman.mapFile;
+ Slave.shellF ([Config.Mailman.reload],
+ fn cl => "Error reloading Mailman with " ^ cl))
+ else
+ ())
+
+end
end;
-domain "tpu.org" with
-
- dns (dnsNS "my.nso");
- dns (dnsMX 14 "mail.nowhere.eu");
+domain "tpu.org" where
+ TTL = 75;
+ DNS = useDns defaultSoa (externalMaster "66.66.66.66") ["this"]
+with
end;
-domain "schizomaniac.net" with
-
- dns (dnsCNAME "a" "b.com");
+domain "schizomaniac.net" where
+ DNS = noDns
+with
end;
+domain "hprog.org" where
+ DNS = useDns defaultSoa (internalMaster "this") ["this"]
+with
+
+end;
--- /dev/null
+domain "hcoop.net" with
+ mailmanWebHost "lists.hcoop.net"
+end;
+
+domain "schizomaniac.net" with
+
+end;
+
+domain "tpu.org" with
+ mailmanWebHost "jamboree.hprog.org"
+end