X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0d3fb301bcae781d585bdecf534ed18769d91bce..7e198078aa9f5f361a3c625c91452ec4ff26bca3:/configDefault/firewall.cfg diff --git a/configDefault/firewall.cfg b/configDefault/firewall.cfg index b067fb5..7bd179a 100644 --- a/configDefault/firewall.cfg +++ b/configDefault/firewall.cfg @@ -1,10 +1,10 @@ (* -*- sml -*- *) structure Firewall :> FIREWALL_CONFIG = struct -val firewallRules = "/afs/hcoop.net/etc/domtool/firewall/user.rules" -val firewallDir = "/var/domtool/firewall/" -val firewallNodes = ["navajos"] +val firewallRules = ConfigCore.sharedRoot ^ "/firewall/user.rules" +val firewallDir = ConfigCore.localRoot ^ "/firewall/" +val firewallNodes = ["bog", "navajos"] -val reload = "/usr/bin/sudo /usr/local/sbin/domtool-publish firewall" +val reload = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-publish firewall" end