Ticket #2096: Shutdown WMS Loader Threads.patch

src/wmsplugin/WMSLayer.java

@@ -62 +62 @@
     protected String baseURL;
     protected final int serializeFormatVersion = 4;
 
-    private ExecutorService executor;
+    private ExecutorService executor = null;
 
     public WMSLayer() {
         this(tr("Blank Layer"), null);
@@ -82 +82 @@
         
         executor = Executors.newFixedThreadPool(3);
     }
+    
+    public void destroy() {
+        try { 
+            executor.shutdown();  
+        // Might not be initalized, so catch NullPointer as well
+        } catch(Exception x) {}
+    }
 
     public void getPPD(){
         pixelPerDegree = mv.getWidth() / (bounds().max.lon() - bounds().min.lon());