apache: update rewriteLogLevel for Apache 2.4
[hcoop/domtool2.git] / src / plugins / mailman.sml
CommitLineData
325285ab
AC
1(* HCoop Domtool (http://hcoop.sourceforge.net/)
2 * Copyright (c) 2006, Adam Chlipala
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
17 *)
18
19(* Mailman mailing list handling *)
20
21structure Mailman :> MAILMAN = struct
22
de5351c7
AC
23open Ast
24
b5f2d506 25val () = Env.type_one "mailman_node"
de5351c7
AC
26 Env.string
27 (fn node => Apache.webNode node orelse node = Config.Mailman.node)
28
29val dl = ErrorMsg.dummyLoc
30
b5f2d506 31val () = Env.registerFunction ("mailman_node",
e9f528ab
AC
32 fn [] => SOME (EString Config.Mailman.node, dl)
33 | _ => NONE)
34
b5f2d506 35val () = Env.registerFunction ("mailman_node_to_node",
e9f528ab
AC
36 fn [e] => SOME e
37 | _ => NONE)
38
b5f2d506 39fun mailmanPlace (EApp ((EVar "mailman_place_default", _), (EString node, _)), _) =
f924c1cf
CE
40 SOME (node, Domain.nodeIp node, Domain.nodeIpv6 node)
41 | mailmanPlace (EApp ((EApp ((EApp ((EVar "mailman_place", _), (EString node, _)), _), (EString ip, _)), _), (EString ipv6, _)), _) =
42 SOME (node, ip, ipv6)
b5f2d506
AC
43 | mailmanPlace _ = NONE
44
b5f2d506 45val _ = Env.registerFunction ("mailman_place_to_web_node",
f924c1cf 46 fn [e] => Option.map (fn (node, _, _) => (EString node, dl)) (mailmanPlace e)
b5f2d506
AC
47 | _ => NONE)
48
49val _ = Env.registerFunction ("mailman_place_to_node",
f924c1cf 50 fn [e] => Option.map (fn (node, _, _) => (EString node, dl)) (mailmanPlace e)
b5f2d506
AC
51 | _ => NONE)
52
53val _ = Env.registerFunction ("mailman_place_to_ip",
f924c1cf
CE
54 fn [e] => Option.map (fn (_, ip, _) => (EString ip, dl)) (mailmanPlace e)
55 | _ => NONE)
56
57val _ = Env.registerFunction ("mailman_place_to_ip",
58 fn [e] => Option.map (fn (_, _, ipv6) => (EString ipv6, dl)) (mailmanPlace e)
b5f2d506
AC
59 | _ => NONE)
60
325285ab
AC
61val files = ref ([] : TextIO.outstream list)
62val write = ref (fn _ : string => ())
63
64val () = Env.action_one "mailmanWebHost"
65 ("hostname", Env.string)
66 (fn host =>
67 let
85095959 68 val {write, writeDom, close} = Domain.domainsFile {node = Config.Mailman.node,
3ae703b6 69 name = "mailman.conf"}
325285ab 70 in
85095959
AC
71 write "\t'";
72 write host;
73 write "' : '";
74 writeDom ();
75 write "',\n";
76 close ()
325285ab
AC
77 end)
78
1c9b5e20
AC
79val () = Env.actionV_one "mailmanVhost"
80 ("host", Env.string)
81 (fn (env, host) =>
82 let
b5f2d506 83 val places = Env.env (Env.list mailmanPlace) (env, "MailmanPlaces")
1c9b5e20
AC
84
85 val ssl = Env.env Apache.ssl (env, "SSL")
86 val user = Env.env Env.string (env, "User")
e322749a 87 val sadmin = Env.env Env.string (env, "ServerAdmin")
1c9b5e20
AC
88
89 val fullHost = host ^ "." ^ Domain.currentDomain ()
90 val vhostId = fullHost ^ (if Option.isSome ssl then ".ssl" else "")
91 val confFile = fullHost ^ (if Option.isSome ssl then ".vhost_ssl" else ".vhost")
92 in
f924c1cf 93 app (fn (node, ip, ipv6) =>
1c9b5e20
AC
94 let
95 val file = Domain.domainFile {node = node,
96 name = confFile}
97 fun print s = TextIO.output (file, s)
98
99 val ld = Apache.logDir {user = user, node = node, vhostId = vhostId}
100 in
954e17ad
AC
101 print "# Owner: ";
102 print user;
103 print "\n";
1c9b5e20 104 print "<VirtualHost ";
f924c1cf 105
b5f2d506 106 print ip;
1c9b5e20
AC
107 print ":";
108 print (case ssl of
109 SOME _ => "443"
110 | NONE => "80");
f924c1cf
CE
111
112 print " [";
113 print ipv6;
114 print "]";
115 print ":";
116 print (case ssl of
117 SOME _ => "443"
118 | NONE => "80");
119
de5351c7 120 print ">\n";
3af11fe6
AC
121 print " ServerName ";
122 print host;
123 print ".";
124 print (Domain.currentDomain ());
125 print "\n";
1c9b5e20 126 print " ServerAdmin ";
e322749a
AC
127 print sadmin;
128 print "\n";
f924c1cf 129 (*
28b75d66 130 print " SuexecUserGroup list list\n";
1c9b5e20 131 print "\n";
28b75d66 132 *)
1c9b5e20
AC
133 print " ErrorLog ";
134 print ld;
135 print "/error.log\n";
136 print " CustomLog ";
137 print ld;
138 print "/access.log combined\n";
139 print "\n";
140 print " RewriteEngine on\n";
141 print "\n";
142 print " # Default to showing listinfo page\n";
4a824a5f
AC
143 print " RewriteRule ^/$ http";
144 case ssl of
145 NONE => ()
146 | SOME _ => print "s";
147 print "://";
1c9b5e20
AC
148 print fullHost;
149 print "/listinfo/\n";
150 print "\n";
151 print " Alias /images/mailman /usr/share/images/mailman\n";
152 print " Alias /pipermail /var/lib/mailman/archives/public\n";
153 print "\n";
154 print " DocumentRoot /usr/lib/cgi-bin/mailman\n";
155 print " <Directory /usr/lib/cgi-bin/mailman>\n";
156 print " AllowOverride None\n";
157 print " Options +ExecCGI -MultiViews +SymLinksIfOwnerMatch\n";
158 print " ForceType cgi-script\n";
159 print " Order allow,deny\n";
160 print " Allow from all\n";
161 print " </Directory>\n";
162 print "\n";
163 print " <Directory /usr/share/doc/mailman>\n";
164 print " Order allow,deny\n";
165 print " Allow from all\n";
166 print " </Directory>\n";
28b75d66 167 print "\n";
984a831b
CE
168 print "\n";
169 print " <Directory /usr/share/images/mailman>\n";
170 print " Order allow,deny\n";
171 print " Allow from all\n";
172 print " </Directory>\n";
173 print "\n";
28b75d66
CE
174 print " <Directory /var/lib/mailman/archives/public/>\n";
175 print " Options +SymlinksIfOwnerMatch -ExecCGI +Indexes\n";
984a831b
CE
176 print " Order allow,deny\n";
177 print " Allow from all\n";
28b75d66 178 print " </Directory>\n";
e9f528ab 179
b5f2d506 180 Apache.doPre {user = user, nodes = map #1 places, id = vhostId, hostname = fullHost};
e9f528ab 181
1c9b5e20
AC
182 print "</VirtualHost>\n";
183
e9f528ab
AC
184 TextIO.closeOut file;
185
186 Apache.doPost ()
b5f2d506 187 end) places
1c9b5e20
AC
188 end)
189
325285ab
AC
190val mailmanChanged = ref false
191
192val () = Slave.registerPreHandler (fn () => mailmanChanged := false)
193
194val () = Slave.registerFileHandler (fn fs =>
195 let
196 val spl = OS.Path.splitDirFile (#file fs)
197 in
198 case #file spl of
3ae703b6 199 "mailman.conf" => mailmanChanged := true
325285ab
AC
200 | _ => ()
201 end)
202
203val () = Slave.registerPostHandler (fn () =>
204 if !mailmanChanged then
3ae703b6 205 (Slave.concatTo (fn s => s = "mailman.conf")
325285ab 206 Config.Mailman.mapFile;
3ae703b6 207 Slave.enumerateTo (fn s => s = "mailman.conf") ":"
5543e924
AC
208 Config.Mailman.handleDomains;
209 Slave.shellF ([Config.Mailman.reload],
325285ab
AC
210 fn cl => "Error reloading Mailman with " ^ cl))
211 else
212 ())
213
d300166d 214val () = Domain.registerDescriber (Domain.considerAll
3ae703b6 215 [Domain.Filename {filename = "mailman.conf",
d936cf4d 216 heading = "Mailman web host mapping:",
d300166d
AC
217 showEmpty = false}])
218
325285ab 219end