94a7e258 |
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 | |
86b9e743 |
23 | open Ast |
24 | |
7cfb21d8 |
25 | val () = Env.type_one "mailman_node" |
86b9e743 |
26 | Env.string |
27 | (fn node => Apache.webNode node orelse node = Config.Mailman.node) |
28 | |
29 | val dl = ErrorMsg.dummyLoc |
30 | |
7cfb21d8 |
31 | val () = Env.registerFunction ("mailman_node", |
3901a942 |
32 | fn [] => SOME (EString Config.Mailman.node, dl) |
33 | | _ => NONE) |
34 | |
7cfb21d8 |
35 | val () = Env.registerFunction ("mailman_node_to_node", |
3901a942 |
36 | fn [e] => SOME e |
37 | | _ => NONE) |
38 | |
7cfb21d8 |
39 | fun mailmanPlace (EApp ((EVar "mailman_place_default", _), (EString node, _)), _) = |
40 | SOME (node, Domain.nodeIp node) |
41 | | mailmanPlace (EApp ((EApp ((EVar "mailman_place", _), (EString node, _)), _), (EString ip, _)), _) = |
42 | SOME (node, ip) |
43 | | mailmanPlace _ = NONE |
44 | |
45 | fun mailmanPlaceDefault node = (EApp ((EVar "mailman_place_default", dl), (EString node, dl)), dl) |
46 | |
47 | val _ = Env.registerFunction ("mailman_place_to_web_node", |
48 | fn [e] => Option.map (fn (node, _) => (EString node, dl)) (mailmanPlace e) |
49 | | _ => NONE) |
50 | |
51 | val _ = Env.registerFunction ("mailman_place_to_node", |
52 | fn [e] => Option.map (fn (node, _) => (EString node, dl)) (mailmanPlace e) |
53 | | _ => NONE) |
54 | |
55 | val _ = Env.registerFunction ("mailman_place_to_ip", |
56 | fn [e] => Option.map (fn (_, ip) => (EString ip, dl)) (mailmanPlace e) |
57 | | _ => NONE) |
58 | |
86b9e743 |
59 | val () = Defaults.registerDefault |
7cfb21d8 |
60 | ("MailmanPlaces", |
61 | (TList (TBase "mailman_place", dl), dl), |
62 | (fn () => (EList [mailmanPlaceDefault Config.Mailman.node], dl))) |
86b9e743 |
63 | |
94a7e258 |
64 | val files = ref ([] : TextIO.outstream list) |
65 | val write = ref (fn _ : string => ()) |
66 | |
67 | val () = Env.action_one "mailmanWebHost" |
68 | ("hostname", Env.string) |
69 | (fn host => |
70 | let |
93c03b24 |
71 | val {write, writeDom, close} = Domain.domainsFile {node = Config.Mailman.node, |
72 | name = "mailman"} |
94a7e258 |
73 | in |
93c03b24 |
74 | write "\t'"; |
75 | write host; |
76 | write "' : '"; |
77 | writeDom (); |
78 | write "',\n"; |
79 | close () |
94a7e258 |
80 | end) |
81 | |
a38328dd |
82 | val () = Env.actionV_one "mailmanVhost" |
83 | ("host", Env.string) |
84 | (fn (env, host) => |
85 | let |
7cfb21d8 |
86 | val places = Env.env (Env.list mailmanPlace) (env, "MailmanPlaces") |
a38328dd |
87 | |
88 | val ssl = Env.env Apache.ssl (env, "SSL") |
89 | val user = Env.env Env.string (env, "User") |
90 | |
91 | val fullHost = host ^ "." ^ Domain.currentDomain () |
92 | val vhostId = fullHost ^ (if Option.isSome ssl then ".ssl" else "") |
93 | val confFile = fullHost ^ (if Option.isSome ssl then ".vhost_ssl" else ".vhost") |
94 | in |
7cfb21d8 |
95 | app (fn (node, ip) => |
a38328dd |
96 | let |
97 | val file = Domain.domainFile {node = node, |
98 | name = confFile} |
99 | fun print s = TextIO.output (file, s) |
100 | |
101 | val ld = Apache.logDir {user = user, node = node, vhostId = vhostId} |
102 | in |
3ca09f33 |
103 | print "# Owner: "; |
104 | print user; |
105 | print "\n"; |
a38328dd |
106 | print "<VirtualHost "; |
7cfb21d8 |
107 | print ip; |
a38328dd |
108 | print ":"; |
109 | print (case ssl of |
110 | SOME _ => "443" |
111 | | NONE => "80"); |
86b9e743 |
112 | print ">\n"; |
a38328dd |
113 | print " ServerName $LISTDOMAIN\n"; |
114 | print " ServerAdmin "; |
115 | print user; |
116 | print "@hcoop.net\n"; |
117 | print " SuexecUserGroup list list\n"; |
118 | print "\n"; |
119 | print " ErrorLog "; |
120 | print ld; |
121 | print "/error.log\n"; |
122 | print " CustomLog "; |
123 | print ld; |
124 | print "/access.log combined\n"; |
125 | print "\n"; |
126 | print " RewriteEngine on\n"; |
127 | print "\n"; |
128 | print " # Default to showing listinfo page\n"; |
129 | print " RewriteRule ^/$ http://"; |
130 | print fullHost; |
131 | print "/listinfo/\n"; |
132 | print "\n"; |
133 | print " Alias /images/mailman /usr/share/images/mailman\n"; |
134 | print " Alias /pipermail /var/lib/mailman/archives/public\n"; |
135 | print "\n"; |
136 | print " DocumentRoot /usr/lib/cgi-bin/mailman\n"; |
137 | print " <Directory /usr/lib/cgi-bin/mailman>\n"; |
138 | print " AllowOverride None\n"; |
139 | print " Options +ExecCGI -MultiViews +SymLinksIfOwnerMatch\n"; |
140 | print " ForceType cgi-script\n"; |
141 | print " Order allow,deny\n"; |
142 | print " Allow from all\n"; |
143 | print " </Directory>\n"; |
144 | print "\n"; |
145 | print " <Directory /usr/share/doc/mailman>\n"; |
146 | print " Order allow,deny\n"; |
147 | print " Allow from all\n"; |
148 | print " </Directory>\n"; |
3901a942 |
149 | |
7cfb21d8 |
150 | Apache.doPre {user = user, nodes = map #1 places, id = vhostId, hostname = fullHost}; |
3901a942 |
151 | |
a38328dd |
152 | print "</VirtualHost>\n"; |
153 | |
3901a942 |
154 | TextIO.closeOut file; |
155 | |
156 | Apache.doPost () |
7cfb21d8 |
157 | end) places |
a38328dd |
158 | end) |
159 | |
94a7e258 |
160 | val mailmanChanged = ref false |
161 | |
162 | val () = Slave.registerPreHandler (fn () => mailmanChanged := false) |
163 | |
164 | val () = Slave.registerFileHandler (fn fs => |
165 | let |
166 | val spl = OS.Path.splitDirFile (#file fs) |
167 | in |
168 | case #file spl of |
169 | "mailman" => mailmanChanged := true |
170 | | _ => () |
171 | end) |
172 | |
173 | val () = Slave.registerPostHandler (fn () => |
174 | if !mailmanChanged then |
175 | (Slave.concatTo (fn s => s = "mailman") |
176 | Config.Mailman.mapFile; |
ca36ffec |
177 | Slave.enumerateTo (fn s => s = "mailman") ":" |
178 | Config.Mailman.handleDomains; |
179 | Slave.shellF ([Config.Mailman.reload], |
94a7e258 |
180 | fn cl => "Error reloading Mailman with " ^ cl)) |
181 | else |
182 | ()) |
183 | |
71e08489 |
184 | val () = Domain.registerDescriber (Domain.considerAll |
185 | [Domain.Filename {filename = "mailman", |
186 | heading = "Mailman web host mapping", |
187 | showEmpty = false}]) |
188 | |
94a7e258 |
189 | end |