do not try to cancel jobs that cannot be cancelled

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index b30837f..5f02c09 100755 (executable)
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -241,7 +241,7 @@ public class WebserviceInfo extends GWebserviceInfo
               {
                 // System.out.println("Shutting down webservice client");
                 WSClientI service = thisinfo.getthisService();
-                if (service != null)
+                if (service != null && service.isCancellable())
                 {
                   service.cancelJob();
                 }