X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/edd380241e9ba2b750eb9a1f82ffd6feeab6252f..c53e82e40cef407de986aa329d31457915ad0dbe:/lib/apache.dtl diff --git a/lib/apache.dtl b/lib/apache.dtl index 9e70f74..1e5d54e 100644 --- a/lib/apache.dtl +++ b/lib/apache.dtl @@ -1,10 +1,15 @@ {{Apache web server configuration}} +extern type web_node; +{{Nodes that accept Apache configuration from you}} + +extern val web_node_to_node : web_node -> node; + context Vhost; {{A WWW virtual host}} extern val vhost : host -> Vhost => [Domain] - {WebNodes : [node], + {WebNodes : [web_node], SSL : bool, User : your_user, Group : your_group, @@ -21,7 +26,7 @@ context Location; extern type location; {{A valid URI prefix}} -extern val location : location -> ^Vhost & Location => [Vhost & !Location]; +extern val location : location -> Vhost & Location => [Vhost & !Location]; extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; {{Set some configuration specific to a URI prefix or filesystem directory, respectively.}}