function to indicate job has finished but no results are available.
authorjprocter <Jim Procter>
Mon, 14 Aug 2006 15:22:16 +0000 (15:22 +0000)
committerjprocter <Jim Procter>
Mon, 14 Aug 2006 15:22:16 +0000 (15:22 +0000)
src/jalview/gui/WebserviceInfo.java

index c8beeb1..d8f6af5 100755 (executable)
@@ -354,8 +354,8 @@ public class WebserviceInfo extends GWebserviceInfo
         }
         else
         {
-            frame.setClosable(true);
             thisService.cancelJob();
+            frame.setClosable(true);
         }
     }
 
@@ -370,6 +370,16 @@ public class WebserviceInfo extends GWebserviceInfo
       validate();
     }
 
+  /**
+   * called when job has finished but no result objects can be passed back to user
+   */
+  public void setFinishedNoResults()
+  {
+    frame.setClosable(true);
+    buttonPanel.remove(cancel);
+    buttonPanel.validate();
+    validate();
+  }
 
   class AnimatedPanel extends JPanel implements Runnable
     {