From 15a7fb10aaf9537b51a4412229dfdabd681c4d0f Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Wed, 13 Aug 2008 10:42:21 +0000
Subject: [PATCH] do not try to cancel jobs that cannot be cancelled

---
 src/jalview/gui/WebserviceInfo.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index b30837f..5f02c09 100755
--- 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();
                 }
-- 
1.7.10.2