X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ebb51f80568cc35cf3cd2f99a31a28f72526798d..0e0442b0650ceb74175905578054db8877b1bbbd:/src/main.sig

diff --git a/src/main.sig b/src/main.sig
index 0993234..fa4d398 100644
--- a/src/main.sig
+++ b/src/main.sig
@@ -68,6 +68,8 @@ signature MAIN = sig
 			     passwd : string, mailbox : string} -> unit
     val requestPasswdMailbox : {domain : string, user : string, passwd : string}
 			       -> unit
+    val requestPortalPasswdMailbox : {domain : string, user : string, oldpasswd : string, newpasswd : string}
+				     -> unit
     val requestRmMailbox : {domain : string, user : string} -> unit
 
     val requestSaQuery : string -> unit