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

Timestamp:

2014-12-15T20:44:26+01:00 (10 years ago)

Author:

bastiK

Message:

see #10836 - svg salamander not thread safe when parsing the svg xml

File:

• trunk/src/org/openstreetmap/josm/tools/ImageProvider.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/tools/ImageProvider.java

@@ -667 +667 @@
             switch (type) {
             case SVG:
-                URI uri = getSvgUniverse().loadSVG(is, Utils.fileToURL(cf.getFile()).toString());
-                SVGDiagram svg = getSvgUniverse().getDiagram(uri);
+                SVGDiagram svg = null;
+                synchronized (getSvgUniverse()) {
+                    URI uri = getSvgUniverse().loadSVG(is, Utils.fileToURL(cf.getFile()).toString());
+                    svg = getSvgUniverse().getDiagram(uri);
+                }
                 return svg == null ? null : new ImageResource(svg);
             case OTHER:
@@ -706 +709 @@
                 if ("image/svg+xml".equals(mediatype)) {
                     String s = new String(bytes, StandardCharsets.UTF_8);
-                    URI uri = getSvgUniverse().loadSVG(new StringReader(s), URLEncoder.encode(s, "UTF-8"));
-                    SVGDiagram svg = getSvgUniverse().getDiagram(uri);
+                    SVGDiagram svg = null;
+                    synchronized (getSvgUniverse()) {
+                        URI uri = getSvgUniverse().loadSVG(new StringReader(s), URLEncoder.encode(s, "UTF-8"));
+                        svg = getSvgUniverse().getDiagram(uri);
+                    }
                     if (svg == null) {
                         Main.warn("Unable to process svg: "+s);
@@ -777 +783 @@
                     switch (type) {
                     case SVG:
-                        URI uri = getSvgUniverse().loadSVG(is, entryName);
-                        SVGDiagram svg = getSvgUniverse().getDiagram(uri);
+                        SVGDiagram svg = null;
+                        synchronized (getSvgUniverse()) {
+                            URI uri = getSvgUniverse().loadSVG(is, entryName);
+                            svg = getSvgUniverse().getDiagram(uri);
+                        }
                         return svg == null ? null : new ImageResource(svg);
                     case OTHER:
@@ -808 +817 @@
         switch (type) {
         case SVG:
-            URI uri = getSvgUniverse().loadSVG(path);
-            SVGDiagram svg = getSvgUniverse().getDiagram(uri);
+            SVGDiagram svg = null;
+            synchronized (getSvgUniverse()) {
+                URI uri = getSvgUniverse().loadSVG(path);
+                svg = getSvgUniverse().getDiagram(uri);
+            }
             return svg == null ? null : new ImageResource(svg);
         case OTHER: