HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Listing vmail mailboxes
[hcoop/domtool2.git]
/
src
/
mail
/
vmail.sig
diff --git
a/src/mail/vmail.sig
b/src/mail/vmail.sig
index
37e4ee0
..
de3e44b
100644
(file)
--- a/
src/mail/vmail.sig
+++ b/
src/mail/vmail.sig
@@
-22,6
+22,12
@@
signature VMAIL = sig
val rebuild : unit -> bool
val rebuild : unit -> bool
+ datatype listing =
+ Error of string
+ | Listing of string list
+
+ val list : string -> listing
+
val add : {domain : string, requester : string, user : string,
passwd : string, mailbox : string} -> string option
val add : {domain : string, requester : string, user : string,
passwd : string, mailbox : string} -> string option
@@
-30,4
+36,6
@@
signature VMAIL = sig
val rm : {domain : string, user : string} -> string option
val rm : {domain : string, user : string} -> string option
+
+
end
end