aboutsummaryrefslogtreecommitdiffstats
path: root/rcfile_y.y
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>1997-02-17 04:38:39 +0000
committerEric S. Raymond <esr@thyrsus.com>1997-02-17 04:38:39 +0000
commitdb2cdc170df42f155fa63012fdaf0b7b9fc73ce9 (patch)
treea1d4f3882f2055152b26c36c64324f202f4db9ae /rcfile_y.y
parent1bf8bb4b2751ef3d4007221cbe0e9bc39de34117 (diff)
downloadfetchmail-db2cdc170df42f155fa63012fdaf0b7b9fc73ce9.tar.gz
fetchmail-db2cdc170df42f155fa63012fdaf0b7b9fc73ce9.tar.bz2
fetchmail-db2cdc170df42f155fa63012fdaf0b7b9fc73ce9.zip
Lose the `received' option; we now say `no envelope'.
svn path=/trunk/; revision=893
Diffstat (limited to 'rcfile_y.y')
-rw-r--r--rcfile_y.y5
1 files changed, 2 insertions, 3 deletions
diff --git a/rcfile_y.y b/rcfile_y.y
index fdc295d5..06f3cd23 100644
--- a/rcfile_y.y
+++ b/rcfile_y.y
@@ -48,7 +48,7 @@ static void user_reset();
%token <proto> PROTO
%token <sval> STRING
%token <number> NUMBER
-%token NO KEEP FLUSH FETCHALL REWRITE STRIPCR DNS PORT RECEIVED
+%token NO KEEP FLUSH FETCHALL REWRITE STRIPCR DNS PORT
%%
@@ -123,9 +123,8 @@ serv_option : AKA alias_list
#endif /* linux */
}
| DNS {current.server.dns = FLAG_TRUE;}
- | RECEIVED {current.server.received = FLAG_TRUE;}
| NO DNS {current.server.dns = FLAG_FALSE;}
- | NO RECEIVED {current.server.received = FLAG_FALSE;}
+ | NO ENVELOPE {current.server.envelope = STRING_DISABLED;}
;
/*