X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/58f4ce3bac23ceef3d84ab97144d1b4b50f27606..167cffff3b3a976d4bf454808d3054fdb323b1a1:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 9b7d02c..591ec31 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -37,7 +37,7 @@ datatype query = (* Is this user restricted to trusted-path executables? *) | QSocket of string (* What socket permissions does this user have? *) - | QFirewall of string + | QFirewall of {node : string, user : string} (* What firewall rules does this user have? *) | QAptExists of string (* Does this apt package exist *)