Add pidfile option, requested by Héctor García.

[~andy/fetchmail] / rcfile_l.l

diff --git a/rcfile_l.l b/rcfile_l.l
index 9acb4bf0445775610771fc2011574623a4ec6ccc..7ae3db960df9385d29753052102238c8bfc9b046 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -69,6 +69,7 @@ int prc_lineno = 1;
 set            { return SET; }
 logfile                { return LOGFILE; }
 idfile         { return IDFILE; }
+pidfile                { return PIDFILE; }
 daemon         { return DAEMON; }
 syslog         { return SYSLOG; }
 invisible      { return INVISIBLE; }