Changeset 11624 in josm

Timestamp:

2017-02-25T21:58:08+01:00 (7 years ago)

Author:

stoecker

Message:

fix core java bug report

File:

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

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

@@ -70 +70 @@
 
             @Override
-            public void publish(LogRecord record) {
+            public synchronized void publish(LogRecord record) {
                 if (!stderr.isLoggable(record)) {
                     super.publish(record);