URL handling
[hcoop/domtool2.git] / lib / alias.dtl
index c591aaf..8fe2246 100644 (file)
@@ -28,10 +28,11 @@ extern val addressesTarget : [email] -> aliasTarget;
 extern val dropTarget : aliasTarget;
 {{Silently delete all mail to the associated source.}}
 
-extern val aliasPrim : aliasSource -> aliasTarget -> [Domain];
-{{Request redirection of all mail from the source to the target.}}
+extern val aliasPrim : aliasSource -> aliasTarget -> [Domain] {MailNodes: [node]};
+{{Request redirection of all mail from the source to the target, specifying on
+  which nodes this redirection should be applied.}}
 
-val alias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
+val emailAlias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
 {{Redirect mail for the user at the current domain to the e-mail address.}}
 val aliasMulti = \user -> \emails -> aliasPrim (userSource user) (addressesTarget emails);
 {{Redirect mail for the user at the current domain to all of the e-mail