merge toplevel-dynamic-environment
[hcoop/domtool2.git] / configDefault / firewall.csg
1 (* -*- sml -*- *)
2 signature FIREWALL_CONFIG = sig
3
4 val firewallNodes : string list (* Nodes to firewall *)
5 val firewallDir : string (* Output directory for ferm config *)
6 val firewallRules : string (* Rules file *)
7
8 val reload : string (* Command to reload configuration *)
9 end