X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ffe2f0fea48f1e2fa6a30b6a79b975b4a6f7671..2fc6b0dd10a94cf365b48df7fe6b0518e5dabdd1:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index cc792ff..3d5997d 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -67,7 +67,7 @@ datatype msg = (* Remove a vmail mapping *) | MsgListMailboxes of string (* List all mailboxes for a domain *) - | MsgMailboxes of string list + | MsgMailboxes of {user : string, mailbox : string} list (* Reply to MsgListMailboxes *) end