Firewell: Concat $WEBNODES list using space instead of comma

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

diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml
index 10e44de..cb2893b 100644 (file)
--- a/src/plugins/firewall.sml
+++ b/src/plugins/firewall.sml
@@ -117,7 +117,7 @@ fun generateFirewallConfig {server_rules, client_rules} =
                                   TextIO.output (outf, String.concat
                                                            ["mod owner uid-owner ",
                                                             Int.toString uid,
-                                                            " { goto user_",
+                                                            " { jump user_",
                                                             uname,
                                                             suffix,
                                                             "; DROP; }\n"]);
@@ -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"]);