diff options
author | Florian Westphal <fw@strlen.de> | 2023-08-21 16:12:52 +0200 |
---|---|---|
committer | Florian Westphal <fw@strlen.de> | 2023-08-29 18:10:15 +0200 |
commit | 61eab46ee62a72629fa86c1929e73a2bfa95bc02 (patch) | |
tree | ac64768aa550c231b925cd143bae86cb4fb74ec3 /src | |
parent | 830d280740bb414dadef0eba44f41f9fd1e7c6bf (diff) |
parser: permit gc-interval in map declarations
Maps support timeouts, so allow to set the gc interval as well.
Fixes: 949cc39eb93f ("parser: support of maps with timeout")
Signed-off-by: Florian Westphal <fw@strlen.de>
Diffstat (limited to 'src')
-rw-r--r-- | src/parser_bison.y | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser_bison.y b/src/parser_bison.y index 56378293..7b8eac95 100644 --- a/src/parser_bison.y +++ b/src/parser_bison.y @@ -2237,6 +2237,11 @@ map_block : /* empty */ { $$ = $<set>-1; } $1->timeout = $3; $$ = $1; } + | map_block GC_INTERVAL time_spec stmt_separator + { + $1->gc_int = $3; + $$ = $1; + } | map_block TYPE data_type_expr COLON map_block_data_interval data_type_expr stmt_separator close_scope_type |