RPKI: add ability to configurate intervals (31f2069d) · Commits · 戴 / Bird

proto/rpki/config.Y

+16 −12

Original line number	Diff line number	Diff line
		@@ -19,6 +19,7 @@ static struct rpki_cache_cfg *this_rpki_cache_cfg;
		CF_DECLS

		CF_KEYWORDS(RPKI, CACHE, LIST, PREFERENCE, BIRD, PRIVATE, PUBLIC, KEY, SSH, ENCRYPTION, USER)
		CF_KEYWORDS(RETRY, REFRESH, EXPIRE)

		CF_GRAMMAR

		@@ -107,6 +108,9 @@ PORT expr {
		cf_error("Value %d is out of range (1-255)", $2);
		this_rpki_cache_cfg->preference = $2;
		}
		\| REFRESH expr { this_rpki_cache_cfg->refresh_interval = $2; }
		\| RETRY expr { this_rpki_cache_cfg->retry_interval = $2; }
		\| EXPIRE expr { this_rpki_cache_cfg->expire_interval = $2; }
		\| SSH ENCRYPTION rpki_transport_ssh_init '{' rpki_transport_ssh_opts '}' rpki_transport_ssh_finish
		;