From 539abe030fdace494d2163044467e1d8665589ff Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 1 Mar 2008 21:17:28 +0000 Subject: [PATCH] Additions while poking around people's configs --- lib/alias.dtl | 2 ++ lib/easy_domain.dtl | 1 + 2 files changed, 3 insertions(+) diff --git a/lib/alias.dtl b/lib/alias.dtl index e84d0a7..d7fb703 100644 --- a/lib/alias.dtl +++ b/lib/alias.dtl @@ -39,3 +39,5 @@ val aliasDrop = \user -> aliasPrim (userSource user) dropTarget; val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email); {{When a message to the current domain doesn't match any other rule, send it to this e-mail address.}} +val defaultAliasDrop = aliasPrim defaultSource dropTarget; +{{Silently drop all mail not matching a specific rule.}} diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 1c1b5d8..e5b1e8d 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -2,6 +2,7 @@ val default_node : (node) = "mire"; val web_node : (web_node) = "mire"; +val web_ip = ip_of_node (web_node_to_node web_node); val webAt = \ n : (web_node) -> -- 2.20.1