X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fws%2FJobStateSummary.java;h=478472b85fb182e125a6c395b5d70a3d169d8bb9;hb=13f232d8ecdc2665be8239a4049022127ea8399e;hp=9953978e1379d841624229a5f5aa16de6e986711;hpb=797df64fa2a0a30773d0f48f5494d4155e5a8be3;p=jalview.git

diff --git a/src/jalview/ws/JobStateSummary.java b/src/jalview/ws/JobStateSummary.java
index 9953978..478472b 100644
--- a/src/jalview/ws/JobStateSummary.java
+++ b/src/jalview/ws/JobStateSummary.java
@@ -1,19 +1,22 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
- * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
  * Jalview is free software: you can redistribute it and/or
  * modify it under the terms of the GNU General Public License 
- * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
- * 
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *  
  * Jalview is distributed in the hope that it will be useful, but 
  * WITHOUT ANY WARRANTY; without even the implied warranty 
  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
  * PURPOSE.  See the GNU General Public License for more details.
  * 
- * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
  */
 package jalview.ws;
 
@@ -23,6 +26,9 @@ import jalview.gui.WebserviceInfo;
  * bookkeeper class for the WebServiceInfo GUI, maintaining records of web
  * service jobs handled by the window and reflecting any status updates.
  * 
+ * TODO: separate from the GUI cleanly since it also holds logic for
+ * interpreting failure states
+ * 
  * @author JimP
  * 
  */
@@ -74,6 +80,13 @@ public class JobStateSummary
   public void updateJobPanelState(WebserviceInfo wsInfo,
           String OutputHeader, AWsJob j)
   {
+    if (j.cancelled)
+    {
+      cancelled++;
+      j.subjobComplete = true;
+      wsInfo.setStatus(j.jobnum, WebserviceInfo.STATE_CANCELLED_OK);
+      return;
+    }
     if (j.submitted)
     {
       String progheader = "";
@@ -109,7 +122,8 @@ public class JobStateSummary
       {
         serror++;
         j.subjobComplete = true;
-        wsInfo.setStatus(j.jobnum, WebserviceInfo.STATE_STOPPED_SERVERERROR);
+        wsInfo.setStatus(j.jobnum,
+                WebserviceInfo.STATE_STOPPED_SERVERERROR);
       }
       else if (j.isBroken())
       {
@@ -119,12 +133,13 @@ public class JobStateSummary
         wsInfo.setStatus(j.jobnum, WebserviceInfo.STATE_STOPPED_ERROR);
       }
       // and pass on any sub-job messages to the user
-      StringBuffer output=new StringBuffer();
-      if (OutputHeader!=null) {
-        
+      StringBuffer output = new StringBuffer();
+      if (OutputHeader != null)
+      {
+
         output.append(OutputHeader);
       }
-      if (progheader!=null)
+      if (progheader != null)
       {
         output.append(progheader);
       }
@@ -134,18 +149,20 @@ public class JobStateSummary
         // probably won't be
         // enough memory to handle the results later on anyway.
         // try {
-        String stat =  j.getStatus();
-        if (stat!=null) {
+        String stat = j.getStatus();
+        if (stat != null)
+        {
           output.append(stat);
         }
         // } catch (OutOfMemoryError e)
         // {
-        // System.err.println("Out of memory when displaying status. Squashing error.");
+        // System.err.println("Out of memory when displaying status. Squashing
+        // error.");
         // wsInfo.appendProgressText(j.jobnum,
         // "..\n(Out of memory when displaying status)\n");
         // }
       }
-      wsInfo.setProgressText(j.jobnum,output.toString());
+      wsInfo.setProgressText(j.jobnum, output.toString());
     }
     else
     {