X-Git-Url: http://git.hcoop.net/jyaworski/domtool2.git/blobdiff_plain/d5772aa364d60b3a005443b07db58672d64b0432..991d8e6619bc9ff2182a39cfbeead53bee768a99:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index a0b7593..dcd04cb 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -39,6 +39,8 @@ datatype query = (* What socket permissions does this user have? *) | QFirewall of string (* What firewall rules does this user have? *) + | QAptExists of string + (* Does this apt package exist *) datatype msg = MsgOk