| | 1 | {{Apache web server configuration}} |
| | 2 | |
| | 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 | |
| | 8 | context Vhost; |
| | 9 | {{A WWW virtual host}} |
| | 10 | |
| | 11 | extern type suexec_flag; |
| | 12 | {{Whether or not to use Suexec with a vhost. |
| | 13 | For users with the 'www' privilege, this type is identical to [bool]. |
| | 14 | For others, it has only one value, [true].}} |
| | 15 | |
| | 16 | extern type ssl_cert_path; |
| | 17 | {{Filesystem path to an SSL certificate in your 'cert' list}} |
| | 18 | |
| | 19 | extern type ssl; |
| | 20 | extern val no_ssl : ssl; |
| | 21 | extern val use_cert : ssl_cert_path -> ssl; |
| | 22 | |
| | 23 | extern val vhost : host -> Vhost => [Domain] |
| | 24 | {WebNodes : [web_node], |
| | 25 | SSL : ssl, |
| | 26 | User : your_user, |
| | 27 | Group : your_group, |
| | 28 | DocumentRoot : your_path, |
| | 29 | ServerAdmin : email, |
| | 30 | SuExec : suexec_flag}; |
| | 31 | {{Add a new named Apache virtual host, specifying which nodes' Apache servers |
| | 32 | should answer requests for this host, whether it should use SSL, what UNIX |
| | 33 | user and group dynamic content generators should be run as, the filesystem |
| | 34 | path to the static content root, and the e-mail address to which error pages |
| | 35 | should direct visitors.}} |
| | 36 | |
| | 37 | context Location; |
| | 38 | |
| | 39 | extern type location; |
| | 40 | {{A valid URI prefix}} |
| | 41 | |
| | 42 | extern val location : location -> Vhost & Location => [Vhost & !Location]; |
| | 43 | extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; |
| | 44 | {{Set some configuration specific to a URI prefix or filesystem directory, |
| | 45 | respectively.}} |
| | 46 | |
| | 47 | extern val serverAliasHost : your_domain_host -> [Vhost]; |
| | 48 | {{Give an alternate hostname for this vhost.}} |
| | 49 | extern val serverAlias : host -> [Vhost]; |
| | 50 | {{Like serverAliasHost, but adds an alias for the given hostname at every domain |
| | 51 | being configured.}} |
| | 52 | extern val serverAliasDefault : [Vhost]; |
| | 53 | {{Like serverAliasDefault, but adds aliases for the domains being configured |
| | 54 | instead of any of their hosts/"subdomains".}} |
HCoop / hcoop / domtool2.git / blame_incremental