Changeset 12092 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2017-05-09T20:06:12+02:00 (7 years ago)

Author:

Don-vip

Message:

fix #14761 - Deleted featured are not removed from geojson

File:

• trunk/src/org/openstreetmap/josm/io/GeoJSONWriter.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/GeoJSONWriter.java

@@ -211 +211 @@
         JsonArrayBuilder array = Json.createArrayBuilder();
         if (ds != null) {
-            ds.allPrimitives().forEach(p -> appendPrimitive(p, array));
+            ds.allNonDeletedPrimitives().forEach(p -> appendPrimitive(p, array));
         }
         object.add("features", array);