From a1f92cf15b436e63bfcc8b85fb85e0a7ca32f488 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Pavel=20Tvrd=C3=ADk?= Date: Mon, 25 Jan 2016 15:33:47 +0100 Subject: [PATCH] RPKI: remove old code from grammar --- proto/rpki/config.Y | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) diff --git a/proto/rpki/config.Y b/proto/rpki/config.Y index f1444e46c..c76a32f13 100644 --- a/proto/rpki/config.Y +++ b/proto/rpki/config.Y @@ -36,25 +36,18 @@ proto_start RPKI { } ; -rpki_proto_finish: -{ -// if (RPKI_CFG->roa_table_cf == NULL) -// cf_error("For the RPKI protocol must be specified a roa table"); -}; - rpki_proto_opts: -/* empty */ -| rpki_proto_opts rpki_proto_item ';' -; + /* empty */ + | rpki_proto_opts rpki_proto_item ';' + ; rpki_proto_item: -proto_item -| CACHE rpki_cache -/* | ROA TABLE roa_table_cf { RPKI_CFG->roa_table_cf = $3; } */ -; + proto_item + | CACHE rpki_cache + ; rpki_cache: -rpki_cache_init rpki_cache_addr rpki_optional_cache_opts rpki_cache_finish { +rpki_cache_init rpki_cache_addr rpki_optional_cache_opts { add_tail(&RPKI_CFG->cache_cfg_list, &this_rpki_cache_cfg->n); } ; -- 2.47.2