Changeset 10541 in josm


Ignore:
Timestamp:
2016-07-16T23:56:38+02:00 (5 years ago)
Author:
wiktorn
Message:

Use Main.worker instead of private worker.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CacheContentsPanel.java

    r10536 r10541  
    1414import java.util.Set;
    1515import java.util.concurrent.ConcurrentHashMap;
    16 import java.util.concurrent.ExecutorService;
    17 import java.util.concurrent.Executors;
    1816
    1917import javax.swing.AbstractAction;
     
    3937import org.openstreetmap.josm.tools.GBC;
    4038import org.openstreetmap.josm.tools.Pair;
    41 import org.openstreetmap.josm.tools.Utils;
    4239
    4340/**
     
    4946public class CacheContentsPanel extends JPanel {
    5047
    51 
    52     private final transient ExecutorService executor =
    53             Executors.newSingleThreadExecutor(Utils.newThreadFactory(getClass() + "-%d", Thread.NORM_PRIORITY));
    54 
    5548    /**
    5649     * Creates cache content panel
     
    5851    public CacheContentsPanel() {
    5952        super(new GridBagLayout());
    60         executor.submit(new Runnable() {
     53        Main.worker.submit(new Runnable() {
    6154            @Override
    6255            public void run() {
     
    6659            }
    6760        });
    68         executor.shutdown();
    6961    }
    7062
Note: See TracChangeset for help on using the changeset viewer.