X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7ad80c2038b827f5f47a2768b790967cc9e12b7d..4555c311c5b74225cd3de63dc88e12644262dc2a:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index e2528b6..aebf0f1 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -279,6 +279,10 @@ val _ = Env.registerFunction ("defaultMailbox", fn [] => SOME (EString (getUser ()), dl) | _ => NONE) +val _ = Env.registerFunction ("defaultMailUser", + fn [] => SOME (EString (getUser ()), dl) + | _ => NONE) + type soa = {ns : string, serial : int option,