Commit | Line | Data |
---|---|---|
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 | ||
21 | structure Mailman :> MAILMAN = struct | |
22 | ||
de5351c7 AC |
23 | open Ast |
24 | ||
b5f2d506 | 25 | val () = Env.type_one "mailman_node" |
de5351c7 AC |
26 | Env.string |
27 | (fn node => Apache.webNode node orelse node = Config.Mailman.node) | |
28 | ||
29 | val dl = ErrorMsg.dummyLoc | |
30 | ||
b5f2d506 | 31 | val () = Env.registerFunction ("mailman_node", |
e9f528ab AC |
32 | fn [] => SOME (EString Config.Mailman.node, dl) |
33 | | _ => NONE) | |
34 | ||
b5f2d506 | 35 | val () = Env.registerFunction ("mailman_node_to_node", |
e9f528ab AC |
36 | fn [e] => SOME e |
37 | | _ => NONE) | |
38 | ||
b5f2d506 | 39 | fun 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 | 45 | val _ = 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 | ||
49 | val _ = Env.registerFunction ("mailman_place_to_node", | |
f924c1cf | 50 | fn [e] => Option.map (fn (node, _, _) => (EString node, dl)) (mailmanPlace e) |
b5f2d506 AC |
51 | | _ => NONE) |
52 | ||
53 | val _ = Env.registerFunction ("mailman_place_to_ip", | |
f924c1cf CE |
54 | fn [e] => Option.map (fn (_, ip, _) => (EString ip, dl)) (mailmanPlace e) |
55 | | _ => NONE) | |
56 | ||
57 | val _ = 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 |
61 | val files = ref ([] : TextIO.outstream list) |
62 | val write = ref (fn _ : string => ()) | |
63 | ||
64 | val () = 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 |
79 | val () = 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 |
190 | val mailmanChanged = ref false |
191 | ||
192 | val () = Slave.registerPreHandler (fn () => mailmanChanged := false) | |
193 | ||
194 | val () = 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 | ||
203 | val () = 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 | 214 | val () = 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 | 219 | end |