| 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 | extern val suexec_flag : bool -> suexec_flag; |
| 13 | {{Whether or not to use Suexec with a vhost. |
| 14 | [suexec_flag] fails when passed [false] by a user without the 'www' privilege.}} |
| 15 | |
| 16 | extern val vhost : host -> Vhost => [Domain] |
| 17 | {WebNodes : [web_node], |
| 18 | SSL : bool, |
| 19 | User : your_user, |
| 20 | Group : your_group, |
| 21 | DocumentRoot : your_path, |
| 22 | ServerAdmin : email, |
| 23 | SuExec : suexec_flag}; |
| 24 | {{Add a new named Apache virtual host, specifying which nodes' Apache servers |
| 25 | should answer requests for this host, whether it should use SSL, what UNIX |
| 26 | user and group dynamic content generators should be run as, the filesystem |
| 27 | path to the static content root, and the e-mail address to which error pages |
| 28 | should direct visitors.}} |
| 29 | |
| 30 | context Location; |
| 31 | |
| 32 | extern type location; |
| 33 | {{A valid URI prefix}} |
| 34 | |
| 35 | extern val location : location -> Vhost & Location => [Vhost & !Location]; |
| 36 | extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; |
| 37 | {{Set some configuration specific to a URI prefix or filesystem directory, |
| 38 | respectively.}} |
| 39 | |
| 40 | extern val serverAlias : your_domain_host -> [Vhost]; |
| 41 | {{Give an alternate hostname for this vhost.}} |