X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0e0442b0650ceb74175905578054db8877b1bbbd..8c1de2aeb3c00e4ed5e802da2dacddcd686f41e4:/src/main.sig?ds=sidebyside diff --git a/src/main.sig b/src/main.sig index fa4d398..bea8247 100644 --- a/src/main.sig +++ b/src/main.sig @@ -69,7 +69,7 @@ signature MAIN = sig val requestPasswdMailbox : {domain : string, user : string, passwd : string} -> unit val requestPortalPasswdMailbox : {domain : string, user : string, oldpasswd : string, newpasswd : string} - -> unit + -> OS.Process.status val requestRmMailbox : {domain : string, user : string} -> unit val requestSaQuery : string -> unit