From acc9fa6c42fcdde3d55b483f1dea91e0058be06e Mon Sep 17 00:00:00 2001 From: jprocter Date: Mon, 14 Aug 2006 15:22:16 +0000 Subject: [PATCH] function to indicate job has finished but no results are available. --- src/jalview/gui/WebserviceInfo.java | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index c8beeb1..d8f6af5 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -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 { -- 1.7.10.2