From: Clinton Ebadi Date: Fri, 7 Dec 2012 20:25:04 +0000 (-0500) Subject: Firewell: Concat $WEBNODES list using space instead of comma X-Git-Tag: release_20121207 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/f0bd892830937540e2d9b7658f3a78fb8fc4b185?ds=sidebyside Firewell: Concat $WEBNODES list using space instead of comma --- diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml index 9fd64f9..cb2893b 100644 --- a/src/plugins/firewall.sml +++ b/src/plugins/firewall.sml @@ -140,7 +140,7 @@ fun generateFirewallConfig {server_rules, client_rules} = let in TextIO.output (outf, String.concat ["@def $WEBNODES = (", - (String.concatWith ", " (List.map (fn (_, ip) => ip) + (String.concatWith " " (List.map (fn (_, ip) => ip) (List.filter (fn (node, _) => List.exists (fn (n) => n = node) (List.map (fn (node, _) => node) (Config.Apache.webNodes_all @ Config.Apache.webNodes_admin))) Config.nodeIps))), ");\n\n"]);