HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add vmail command for changing password when you know the current password
[hcoop/domtool2.git]
/
src
/
mail
/
vmail.sig
diff --git
a/src/mail/vmail.sig
b/src/mail/vmail.sig
index
4defa43
..
5289400
100644
(file)
--- a/
src/mail/vmail.sig
+++ b/
src/mail/vmail.sig
@@
-36,6
+36,9
@@
signature VMAIL = sig
val passwd : {domain : string, user : string, passwd : 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
val rm : {domain : string, user : string} -> string option
val doChanged : unit -> bool