TextIO.output (outf, String.concat
["mod owner uid-owner ",
Int.toString uid,
- " { goto user_",
+ " { jump user_",
uname,
suffix,
"; DROP; }\n"]);
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"]);