{{The most common kinds of domain configuration}}
-val default_node : (node) = "navajos";
-val web_node : (web_node) = "navajos";
+val web_node : (web_node) = "shelob";
+val default_node : (node) = web_node_to_node web_node;
val web_ip = ip_of_node (web_node_to_node web_node);
+var WebPlaces = [web_place_default web_node];
+
val webAt =
\ n : (web_node) ->
\ host : (host) ->
end
end;
+val webSsl = \ host -> \ certFile -> \\ config : Vhost -> begin
+ n <- DefaultWebNode;
+ webAt n host where
+ SSL = certFile;
+ with config end;
+
+ force_ssl <- ForceSSL;
+ if force_ssl then
+ webAt n host where
+ SSL = no_ssl;
+ with
+ rewriteRule "^(.*)$" "https://%{HTTP_HOST}$1" [redirect];
+ end;
+ else
+ webAt n host where
+ SSL = no_ssl;
+ with config end;
+ end;
+end;
+
val addDefaultAlias = begin
mailbox <- Mailbox;
source <- DefaultAliasSource;
amx : bool <- AddMX;
if amx then
- dns (dnsMX 1 "mail.hcoop.net")
+ dns (dnsMX 1 "mail.hcoop.net");
else
Skip
end;