X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a8e88df70a675cce965380df971c9e3c4d283a5e..9a8de13739d797ae324dcf0387f24eda3cdcb4a9:/src/plugins/firewall.sig diff --git a/src/plugins/firewall.sig b/src/plugins/firewall.sig index 0bb8611..3283824 100644 --- a/src/plugins/firewall.sig +++ b/src/plugins/firewall.sig @@ -21,8 +21,8 @@ signature FIREWALL = sig - type firewall_rules = { server_rules : (string list DataStructures.StringMap.map), - client_rules : (string list DataStructures.StringMap.map)} + type firewall_rules = { server_rules : ((string * string) list DataStructures.StringMap.map), + client_rules : ((string * string) list DataStructures.StringMap.map)} val query : string -> string list (* List a user's local firewall rules. *)