X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/167cffff3b3a976d4bf454808d3054fdb323b1a1..f3b84aff36a896635953a771ac1ab7da085a8f52:/src/plugins/firewall.sml diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml index d58c251..daa4b11 100644 --- a/src/plugins/firewall.sml +++ b/src/plugins/firewall.sml @@ -85,10 +85,12 @@ fun formatHosts hosts = "(" ^ String.concatWith " " hosts ^ ")" fun formatOutputRule (Client (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of [] => "" | _ => " daddr " ^ formatHosts hosts) ^ " ACCEPT;" + | formatOutputRule _ = "" fun formatInputRule (Server (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of [] => "" | _ => " saddr " ^ formatHosts hosts) ^ " ACCEPT;" + | formatInputRule _ = "" type ferm_lines = { input_rules : (string list) DataStructures.StringMap.map, output_rules : (string list) DataStructures.StringMap.map }