Bugfix: recognize local as shorthand for localdomains.

diff --git a/NEWS b/NEWS
index 7ae09a7d1ee9b160a02319dfb9051e416a67ce74..a62a9efdd6f42b6a4d773cbb15cfb6c2bc8c305e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -55,6 +55,11 @@ fetchmail 6.3.15 (not yet released):
   will pass messages with bad headers on.  This has been rejected for a long
   time, and the right behaviour was disputed for too long.
 
+# BUG FIXES
+* In the rcfile, recognize "local" as abbreviation for "localdomains", as
+  documented. The short form has not ever worked since this feature was added in
+  January 1997. Reported by Frédéric Marchal.
+
 # CHANGES
 * The repository has been converted and moved from the Subversion (SVN) format
   kindly hosted by Graham Wilson over the past years to Git format hosted on

diff --git a/rcfile_l.l b/rcfile_l.l
index 679a5b4e891b64cf96050213ee2e8d3a3c3c8d8f..146219a7b9b87e3607c0d76606713391b06fa847 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -88,7 +88,7 @@ poll          { return POLL; }
 skip           { return SKIP; }
 via            { return VIA; }
 aka            { return AKA; }
-local(domains) { return LOCALDOMAINS; }
+local(domains)?        { return LOCALDOMAINS; }
 proto(col)?    { return PROTOCOL; }
 service                { return SERVICE; }
 port           { return PORT; }