Changeset 13796 in osm for applications/editors/josm/plugins/wmsplugin

Timestamp:

2009-02-19T18:59:32+01:00 (15 years ago)

Author:

stoecker

Message:

apply patch from #2096

File:

• applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSLayer.java (modified) (2 diffs)

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSLayer.java

@@ -63 +63 @@
     protected final int serializeFormatVersion = 4;
 
-    private ExecutorService executor;
+    private ExecutorService executor = null;
 
     public WMSLayer() {
@@ -82 +82 @@
         
         executor = Executors.newFixedThreadPool(3);
+    }
+    
+    public void destroy() {
+        try { 
+            executor.shutdown();  
+        // Might not be initalized, so catch NullPointer as well
+        } catch(Exception x) {}
     }