diff options
| -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 df672b1e..0c9e6c2b 100644 --- a/src/parser_bison.y +++ b/src/parser_bison.y @@ -1462,6 +1462,11 @@ map_block_alloc : /* empty */ map_block : /* empty */ { $$ = $<set>-1; } | map_block common_block | map_block stmt_separator + | map_block TIMEOUT time_spec stmt_separator + { + $1->timeout = $3 * 1000; + $$ = $1; + } | map_block TYPE data_type_expr COLON data_type_expr stmt_separator |