Changeset 10541 in josm

Timestamp:

2016-07-16T23:56:38+02:00 (8 years ago)

Author:

wiktorn

Message:

Use Main.worker instead of private worker.

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CacheContentsPanel.java (modified) (5 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CacheContentsPanel.java

@@ -14 +14 @@
 import java.util.Set;
 import java.util.concurrent.ConcurrentHashMap;
-import java.util.concurrent.ExecutorService;
-import java.util.concurrent.Executors;
 
 import javax.swing.AbstractAction;
@@ -39 +37 @@
 import org.openstreetmap.josm.tools.GBC;
 import org.openstreetmap.josm.tools.Pair;
-import org.openstreetmap.josm.tools.Utils;
 
 /**
@@ -49 +46 @@
 public class CacheContentsPanel extends JPanel {
 
-
-    private final transient ExecutorService executor =
-            Executors.newSingleThreadExecutor(Utils.newThreadFactory(getClass() + "-%d", Thread.NORM_PRIORITY));
-
     /**
      * Creates cache content panel
@@ -58 +51 @@
     public CacheContentsPanel() {
         super(new GridBagLayout());
-        executor.submit(new Runnable() {
+        Main.worker.submit(new Runnable() {
             @Override
             public void run() {
@@ -66 +59 @@
             }
         });
-        executor.shutdown();
     }