From: Clinton Ebadi Date: Fri, 15 Feb 2013 18:54:39 +0000 (-0500) Subject: Switch default web node from mire to navajos X-Git-Tag: release_20130215 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/a51387b870b88439f6d75ead15c22281dd5e4bff Switch default web node from mire to navajos Bombs away! --- diff --git a/configDefault/apache.cfg b/configDefault/apache.cfg index 801772b..87d50fd 100644 --- a/configDefault/apache.cfg +++ b/configDefault/apache.cfg @@ -18,7 +18,7 @@ val webNodes_all = [("mire", {version = APACHE_2, auth = MOD_WAKLOG}), ("navajos", {version = APACHE_2, auth = MOD_WAKLOG})] val webNodes_admin = [("deleuze", {version = APACHE_2, auth = MOD_WAKLOG})] -val webNodes_default = ["mire"] +val webNodes_default = ["navajos"] val proxyTargets = ["http://hcoop.net/cgi-bin/mailman", "http://hcoop.net/pipermail"] diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 99a1812..60295b2 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -1,7 +1,7 @@ {{The most common kinds of domain configuration}} -val default_node : (node) = "mire"; -val web_node : (web_node) = "mire"; +val default_node : (node) = "navajos"; +val web_node : (web_node) = "navajos"; val web_ip = ip_of_node (web_node_to_node web_node); val webAt = diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index 63601d2..e486e60 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -52,6 +52,6 @@ val _ = Defaults.registerDefault ("AddMX", val _ = Defaults.registerDefault ("DefaultWebNode", (TBase "web_node", dl), - (fn () => (EString "mire", dl))) + (fn () => (EString "navajos", dl))) end