Commit | Line | Data |
---|---|---|
8a7c40fa AC |
1 | {{Apache web server configuration}} |
2 | ||
60695e99 AC |
3 | extern type web_node; |
4 | {{Nodes that accept Apache configuration from you}} | |
5 | ||
6 | extern val web_node_to_node : web_node -> node; | |
7 | ||
8a7c40fa AC |
8 | context Vhost; |
9 | {{A WWW virtual host}} | |
10 | ||
11 | extern val vhost : host -> Vhost => [Domain] | |
60695e99 | 12 | {WebNodes : [web_node], |
8a7c40fa AC |
13 | SSL : bool, |
14 | User : your_user, | |
15 | Group : your_group, | |
16 | DocumentRoot : your_path, | |
17 | ServerAdmin : email}; | |
f8dfbbcc AC |
18 | {{Add a new named Apache virtual host, specifying which nodes' Apache servers |
19 | should answer requests for this host, whether it should use SSL, what UNIX | |
20 | user and group dynamic content generators should be run as, the filesystem | |
21 | path to the static content root, and the e-mail address to which error pages | |
22 | should direct visitors.}} | |
2882ee37 AC |
23 | |
24 | context Location; | |
25 | ||
26 | extern type location; | |
27 | {{A valid URI prefix}} | |
28 | ||
3196000d | 29 | extern val location : location -> Vhost & Location => [Vhost & !Location]; |
2882ee37 AC |
30 | extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; |
31 | {{Set some configuration specific to a URI prefix or filesystem directory, | |
32 | respectively.}} | |
edd38024 AC |
33 | |
34 | extern val serverAlias : your_domain_host -> [Vhost]; | |
35 | {{Give an alternate hostname for this vhost.}} |