X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ebb51f80568cc35cf3cd2f99a31a28f72526798d..0e0442b0650ceb74175905578054db8877b1bbbd:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index c6dcb50..c815960 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -88,6 +88,8 @@ datatype msg = (* Request creation of a new vmail mapping *) | MsgPasswdMailbox of {domain : string, user : string, passwd : string} (* Change a vmail account's password *) + | MsgPortalPasswdMailbox of {domain : string, user : string, oldpasswd : string, newpasswd : string} + (* Change a vmail account's password if the old password matches *) | MsgRmMailbox of {domain : string, user : string} (* Remove a vmail mapping *) | MsgListMailboxes of string