Switch default web node from mire to navajos

[hcoop/domtool2.git] / src / plugins / firewall.sml

diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml
index 9fd64f9..cb2893b 100644 (file)
--- 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"]);