Changeset 11624 in josm for trunk/src


Ignore:
Timestamp:
2017-02-25T21:58:08+01:00 (2 years ago)
Author:
stoecker
Message:

fix core java bug report

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/tools/Logging.java

    r11397 r11624  
    7070
    7171            @Override
    72             public void publish(LogRecord record) {
     72            public synchronized void publish(LogRecord record) {
    7373                if (!stderr.isLoggable(record)) {
    7474                    super.publish(record);
Note: See TracChangeset for help on using the changeset viewer.