X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0868840155aca9662f97318b114a07ae4c8319d6..0e0442b0650ceb74175905578054db8877b1bbbd:/src/mail/vmail.sig diff --git a/src/mail/vmail.sig b/src/mail/vmail.sig index 37e4ee0..5289400 100644 --- a/src/mail/vmail.sig +++ b/src/mail/vmail.sig @@ -22,12 +22,25 @@ signature VMAIL = sig val rebuild : unit -> bool + datatype listing = + Error of string + | Listing of {user : string, mailbox : string} list + + val list : string -> listing + + val mailboxExists : {domain : string, user : string} -> bool + val add : {domain : string, requester : string, user : string, passwd : string, mailbox : string} -> string option val passwd : {domain : string, user : string, passwd : string} -> string option + val portalpasswd : {domain : string, user : string, oldpasswd : string, newpasswd : string} + -> string option + val rm : {domain : string, user : string} -> string option + val doChanged : unit -> bool + end