Add vmail command for changing password when you know the current password

[hcoop/domtool2.git] / src / msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index c6dcb50..c815960 100644 (file)
--- 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 *)
        (* 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
        | MsgRmMailbox of {domain : string, user : string}
        (* Remove a vmail mapping *)
        | MsgListMailboxes of string