GeoJSON - allow 'null' properties in Feature objects [#4177]

This commit is contained in:
Artem Pavlenko 2020-10-08 10:53:12 +01:00
parent fba418d20b
commit 7d1a559ae2

View file

@ -272,7 +272,7 @@ auto const feature_part_def = feature_type
| |
(lit("\"geometry\"") > lit(':') > geometry_rule[assign_geometry]) (lit("\"geometry\"") > lit(':') > geometry_rule[assign_geometry])
| |
(lit("\"properties\"") > lit(':') > lit('{') > -properties > lit('}')) (lit("\"properties\"") > lit(':') > ((lit('{') > -properties > lit('}')) | lit("null")))
| |
(omit[geojson_string] > lit(':') > omit[value]) (omit[geojson_string] > lit(':') > omit[value])
; ;