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