aboutsummaryrefslogtreecommitdiffstats
path: root/rcfile_y.y
diff options
context:
space:
mode:
Diffstat (limited to 'rcfile_y.y')
-rw-r--r--rcfile_y.y3
1 files changed, 3 insertions, 0 deletions
diff --git a/rcfile_y.y b/rcfile_y.y
index ba17b9b9..e2c4c82c 100644
--- a/rcfile_y.y
+++ b/rcfile_y.y
@@ -75,6 +75,7 @@ extern char * yytext;
%token DNS SERVICE PORT UIDL INTERVAL MIMEDECODE IDLE CHECKALIAS
%token SSL SSLKEY SSLCERT SSLPROTO SSLCERTCK SSLCERTPATH SSLFINGERPRINT
%token PRINCIPAL
+%token TRACEPOLLS
%%
@@ -234,6 +235,8 @@ serv_option : AKA alias_list
| DNS {current.server.dns = FLAG_TRUE;}
| NO DNS {current.server.dns = FLAG_FALSE;}
| NO ENVELOPE {current.server.envelope = STRING_DISABLED;}
+ | TRACEPOLLS {current.tracepolls = FLAG_TRUE;}
+ | NO TRACEPOLLS {current.tracepolls = FLAG_FALSE;}
;
userspecs : user1opts {record_current(); user_reset();}