X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/167cffff3b3a976d4bf454808d3054fdb323b1a1..7421bb04ad9ed42e89354daa5c9bb06f9ab91773:/src/plugins/firewall.sml diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml index d58c251..92b1942 100644 --- a/src/plugins/firewall.sml +++ b/src/plugins/firewall.sml @@ -1,6 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2006-2007, Adam Chlipala - * Copyright (c) 2011,2012,2013 Clinton Ebadi + * Copyright (c) 2011,2012,2013,2014 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -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 }