diff options
| -rw-r--r-- | NEWS | 3 | ||||
| -rw-r--r-- | fetchmail.man | 2 | ||||
| -rw-r--r-- | rcfile_y.y | 8 |
3 files changed, 8 insertions, 5 deletions
@@ -14,8 +14,9 @@ fetchmail-4.3.1 () * Minor portation fixes for early AIX version and NextSTEP. * Fixed a bad interaction between --limit and the repoll feature. +* = is now optional in global options. -There are 280 people on fetchmail-friends and 8 on fetchmail-announce. +There are 276 people on fetchmail-friends and 20 on fetchmail-announce. ------------------------------------------------------------------------------ fetchmail-4.3.0 (Mon Oct 6 16:44:38 EDT 1997) diff --git a/fetchmail.man b/fetchmail.man index 1e304f01..638f7f02 100644 --- a/fetchmail.man +++ b/fetchmail.man @@ -1046,7 +1046,7 @@ string as the password. Specifying `kpop' sets POP3 protocol over port 1109 with Kerberos V4 preauthentication. These defaults may be overridden by later options. .PP -There are currently three global option statements; `set logfile = ' +There are currently three global option statements; `set logfile' followed by a string sets the same global specified by --logfile. A command-line --logfile option will override this. Also, `set daemon' sets the poll interval as --daemon does. This can be overridden by @@ -77,9 +77,11 @@ statement_list : statement | statement_list statement ; -/* future global options should also have the form SET <name> <value> */ -statement : SET LOGFILE MAP STRING {logfile = xstrdup($4);} - | SET DAEMON NUMBER {poll_interval = $3;} +optmap : MAP | /* EMPTY */; + +/* future global options should also have the form SET <name> optmap <value> */ +statement : SET LOGFILE optmap STRING {logfile = xstrdup($4);} + | SET DAEMON optmap NUMBER {poll_interval = $4;} | SET SYSLOG {use_syslog = TRUE;} /* |