hcoop: rename quag -> marsh
[hcoop/domtool2.git] / configDefault / firewall.cfg
CommitLineData
ec95f39f
CE
1(* -*- sml -*- *)
2structure Firewall :> FIREWALL_CONFIG = struct
3
979844d5
CE
4val firewallRules = ConfigCore.sharedRoot ^ "/firewall/user.rules"
5val firewallDir = ConfigCore.localRoot ^ "/firewall/"
261e79ec 6val firewallNodes = ["bog", "navajos", "marsh"]
ec95f39f 7
93278775
CE
8val reload = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-publish firewallpuppet"
9val dig = "/usr/bin/dig"
73b95423 10
ec95f39f 11end