Easy_domain: Use DefaultAliasSource for DefaultAlias
[hcoop/domtool2.git] / configDefault / firewall.cfg
CommitLineData
ec95f39f
CE
1(* -*- sml -*- *)
2structure Firewall :> FIREWALL_CONFIG = struct
3
601b43e5 4val firewallRules = "/afs/hcoop.net/common/etc/domtool/firewall/user.rules"
0d3fb301 5val firewallDir = "/var/domtool/firewall/"
00b4c26e 6val firewallNodes = ["bog", "navajos"]
ec95f39f 7
73b95423
CE
8val reload = "/usr/bin/sudo /usr/local/sbin/domtool-publish firewall"
9
ec95f39f 10end