1 (* HCoop
Domtool (http
://hcoop
.sourceforge
.net
/)
2 * Copyright (c
) 2006, Adam Chlipala
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
.
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
.
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
.
19 (* Mailman mailing list handling
*)
21 structure Mailman
:> MAILMAN
= struct
25 val () = Env
.type_one
"mailman_node"
27 (fn node
=> Apache
.webNode node
orelse node
= Config
.Mailman
.node
)
29 val dl
= ErrorMsg
.dummyLoc
31 val () = Env
.registerFunction ("mailman_node",
32 fn [] => SOME (EString Config
.Mailman
.node
, dl
)
35 val () = Env
.registerFunction ("mailman_node_to_node",
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
, _
)), _
) =
43 | mailmanPlace _
= NONE
45 val _
= Env
.registerFunction ("mailman_place_to_web_node",
46 fn [e
] => Option
.map (fn (node
, _
) => (EString node
, dl
)) (mailmanPlace e
)
49 val _
= Env
.registerFunction ("mailman_place_to_node",
50 fn [e
] => Option
.map (fn (node
, _
) => (EString node
, dl
)) (mailmanPlace e
)
53 val _
= Env
.registerFunction ("mailman_place_to_ip",
54 fn [e
] => Option
.map (fn (_
, ip
) => (EString ip
, dl
)) (mailmanPlace e
)
57 val files
= ref ([] : TextIO.outstream list
)
58 val write
= ref (fn _
: string => ())
60 val () = Env
.action_one
"mailmanWebHost"
61 ("hostname", Env
.string)
64 val {write
, writeDom
, close
} = Domain
.domainsFile
{node
= Config
.Mailman
.node
,
65 name
= "mailman.conf"}
75 val () = Env
.actionV_one
"mailmanVhost"
79 val places
= Env
.env (Env
.list mailmanPlace
) (env
, "MailmanPlaces")
81 val ssl
= Env
.env Apache
.ssl (env
, "SSL")
82 val user
= Env
.env Env
.string (env
, "User")
83 val sadmin
= Env
.env Env
.string (env
, "ServerAdmin")
85 val fullHost
= host ^
"." ^ Domain
.currentDomain ()
86 val vhostId
= fullHost ^
(if Option
.isSome ssl
then ".ssl" else "")
87 val confFile
= fullHost ^
(if Option
.isSome ssl
then ".vhost_ssl" else ".vhost")
91 val file
= Domain
.domainFile
{node
= node
,
93 fun print s
= TextIO.output (file
, s
)
95 val ld
= Apache
.logDir
{user
= user
, node
= node
, vhostId
= vhostId
}
100 print
"<VirtualHost ";
107 print
" ServerName ";
110 print (Domain
.currentDomain ());
112 print
" ServerAdmin ";
115 print
" SuexecUserGroup list list\n";
119 print
"/error.log\n";
122 print
"/access.log combined\n";
124 print
" RewriteEngine on\n";
126 print
" # Default to showing listinfo page\n";
127 print
" RewriteRule ^/$ http";
130 | SOME _
=> print
"s";
133 print
"/listinfo/\n";
135 print
" Alias /images/mailman /usr/share/images/mailman\n";
136 print
" Alias /pipermail /var/lib/mailman/archives/public\n";
138 print
" DocumentRoot /usr/lib/cgi-bin/mailman\n";
139 print
" <Directory /usr/lib/cgi-bin/mailman>\n";
140 print
" AllowOverride None\n";
141 print
" Options +ExecCGI -MultiViews +SymLinksIfOwnerMatch\n";
142 print
" ForceType cgi-script\n";
143 print
" Order allow,deny\n";
144 print
" Allow from all\n";
145 print
" </Directory>\n";
147 print
" <Directory /usr/share/doc/mailman>\n";
148 print
" Order allow,deny\n";
149 print
" Allow from all\n";
150 print
" </Directory>\n";
152 Apache
.doPre
{user
= user
, nodes
= map #
1 places
, id
= vhostId
, hostname
= fullHost
};
154 print
"</VirtualHost>\n";
156 TextIO.closeOut file
;
162 val mailmanChanged
= ref
false
164 val () = Slave
.registerPreHandler (fn () => mailmanChanged
:= false)
166 val () = Slave
.registerFileHandler (fn fs
=>
168 val spl
= OS
.Path
.splitDirFile (#file fs
)
171 "mailman.conf" => mailmanChanged
:= true
175 val () = Slave
.registerPostHandler (fn () =>
176 if !mailmanChanged
then
177 (Slave
.concatTo (fn s
=> s
= "mailman.conf")
178 Config
.Mailman
.mapFile
;
179 Slave
.enumerateTo (fn s
=> s
= "mailman.conf") ":"
180 Config
.Mailman
.handleDomains
;
181 Slave
.shellF ([Config
.Mailman
.reload
],
182 fn cl
=> "Error reloading Mailman with " ^ cl
))
186 val () = Domain
.registerDescriber (Domain
.considerAll
187 [Domain
.Filename
{filename
= "mailman.conf",
188 heading
= "Mailman web host mapping:",