Changeset 8734 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-09-08T15:20:34+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8540 r8734 813 813 try { 814 814 ReadLocalPluginInformationTask task = new ReadLocalPluginInformationTask(monitor); 815 ExecutorService service = Executors.newSingleThreadExecutor( );815 ExecutorService service = Executors.newSingleThreadExecutor(Utils.newThreadFactory("plugin-loader-%d", Thread.NORM_PRIORITY)); 816 816 Future<?> future = service.submit(task); 817 817 try { … … 970 970 try { 971 971 monitor.beginTask(""); 972 ExecutorService service = Executors.newSingleThreadExecutor( );972 ExecutorService service = Executors.newSingleThreadExecutor(Utils.newThreadFactory("plugin-updater-%d", Thread.NORM_PRIORITY)); 973 973 974 974 // try to download the plugin lists
Note: See TracChangeset
for help on using the changeset viewer.