Changeset 12634 in josm for trunk/src/org/openstreetmap/josm/io/FileWatcher.java
- Timestamp:
- 2017-08-24T15:54:00+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/FileWatcher.java
r12620 r12634 14 14 import java.util.HashMap; 15 15 import java.util.Map; 16 import java.util.concurrent.Executors; 16 17 17 import org.openstreetmap.josm.Main;18 18 import org.openstreetmap.josm.data.validation.OsmValidator; 19 19 import org.openstreetmap.josm.data.validation.tests.MapCSSTagChecker; … … 24 24 import org.openstreetmap.josm.tools.CheckParameterUtil; 25 25 import org.openstreetmap.josm.tools.Logging; 26 import org.openstreetmap.josm.tools.Utils; 26 27 27 28 /** … … 140 141 if (style != null) { 141 142 Logging.info("Map style "+style.getDisplayString()+" has been modified. Reloading style..."); 142 Main.worker.submit(new MapPaintStyleLoader(Collections.singleton(style))); 143 Executors.newSingleThreadExecutor(Utils.newThreadFactory("mapstyle-reload-%d", Thread.NORM_PRIORITY)).submit( 144 new MapPaintStyleLoader(Collections.singleton(style))); 143 145 } else if (rule != null) { 144 146 Logging.info("Validator rule "+rule.getDisplayString()+" has been modified. Reloading rule...");
Note:
See TracChangeset
for help on using the changeset viewer.