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

Timestamp:

2018-07-28T20:28:36+02:00 (6 years ago)

Author:

Don-vip

Message:

see #16010 - bugfixes (patch by ris)

File:

• trunk/src/org/openstreetmap/josm/tools/Logging.java (modified) (1 diff)

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

@@ -85 +85 @@
          * Set output stream to one acquired from calling outputStreamSupplier
          */
-        public void reacquireOutputStream() {
+        public synchronized void reacquireOutputStream() {
             final OutputStream reacquiredStream = this.outputStreamSupplier.get();