diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 1996-10-08 08:58:23 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 1996-10-08 08:58:23 +0000 |
| commit | b7ec6bf355f24c686b5d605f719f3c1814707054 (patch) | |
| tree | 7543bba4ccf8cf63479a6b70fcf228e968d87d07 | |
| parent | f7d0daeb0d98a8d0e33e5cd6ee8fe58b10115c41 (diff) | |
| download | fetchmail-b7ec6bf355f24c686b5d605f719f3c1814707054.tar.gz fetchmail-b7ec6bf355f24c686b5d605f719f3c1814707054.tar.bz2 fetchmail-b7ec6bf355f24c686b5d605f719f3c1814707054.zip | |
Added `skip server'.
svn path=/trunk/; revision=252
| -rw-r--r-- | rcfile_y.y | 22 |
1 files changed, 12 insertions, 10 deletions
@@ -52,26 +52,29 @@ statement_list : statement statement : define_server serverspecs userspecs ; -define_server : SERVER STRING {prc_setserver($2);} - | DEFAULTS {prc_setserver("defaults");} +define_server : SERVER STRING {prc_setserver($2);} + | SKIP SERVER STRING {prc_setserver($3); + prc_setskip($1==FLAG_TRUE);} + | DEFAULTS {prc_setserver("defaults");} ; serverspecs : /* EMPTY */ | serverspecs serv_option ; -serv_option : PROTOCOL PROTO {prc_setproto($2);} +serv_option : PROTOCOL PROTO {prc_setproto($2);} | PORT STRING {prc_setport($2);} + | SKIP {prc_setskip($1==FLAG_TRUE);} ; /* the first and only the first user spec may omit the USERNAME part */ -userspecs : user1opts {prc_register(); prc_reset();} - | user1opts explicits {prc_register(); prc_reset();} +userspecs : user1opts {prc_register(); prc_reset();} + | user1opts explicits {prc_register(); prc_reset();} | explicits ; -explicits : explicitdef {prc_register(); prc_reset();} - | explicits explicitdef {prc_register(); prc_reset();} +explicits : explicitdef {prc_register(); prc_reset();} + | explicits explicitdef {prc_register(); prc_reset();} ; explicitdef : userdef user0opts @@ -98,11 +101,10 @@ user_option : IS STRING {prc_setlocal($2);} | SMTPHOST STRING {prc_setsmtphost($2);} | MDA STRING {prc_setmda($2);} - | KEEP {prc_setkeep($1==FLAG_TRUE);} - | FLUSH {prc_setflush($1==FLAG_TRUE);} + | KEEP {prc_setkeep($1==FLAG_TRUE);} + | FLUSH {prc_setflush($1==FLAG_TRUE);} | FETCHALL {prc_setfetchall($1==FLAG_TRUE);} | REWRITE {prc_setrewrite($1==FLAG_TRUE);} - | SKIP {prc_setskip($1==FLAG_TRUE);} ; %% |