X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fws%2FJobStateSummary.java;h=31660681a1d390f4a8e1e146db2a30f6cf2a4980;hb=c19d2a91ca05e052e3408bf5852d88eb5d0608f1;hp=0983dc078be52da844bc5b1ded1835d6e438e505;hpb=39c0b5e5d2ff4352d36bb6705121dc5ed14ba81b;p=jalview.git diff --git a/src/jalview/ws/JobStateSummary.java b/src/jalview/ws/JobStateSummary.java index 0983dc0..3166068 100644 --- a/src/jalview/ws/JobStateSummary.java +++ b/src/jalview/ws/JobStateSummary.java @@ -1,3 +1,23 @@ +/* + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b2) + * Copyright (C) 2015 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. + * + * 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 . + * The Jalview Authors are detailed in the 'AUTHORS' file. + */ package jalview.ws; import jalview.gui.WebserviceInfo; @@ -54,9 +74,16 @@ public class JobStateSummary * @param OutputHeader * @param j */ - public void updateJobPanelState(WebserviceInfo wsInfo, String OutputHeader, - AWsJob j) + 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 = ""; @@ -92,9 +119,7 @@ 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()) { @@ -104,12 +129,35 @@ public class JobStateSummary wsInfo.setStatus(j.jobnum, WebserviceInfo.STATE_STOPPED_ERROR); } // and pass on any sub-job messages to the user - wsInfo.setProgressText(j.jobnum, OutputHeader); - wsInfo.appendProgressText(j.jobnum, progheader); + StringBuffer output = new StringBuffer(); + if (OutputHeader != null) + { + + output.append(OutputHeader); + } + if (progheader != null) + { + output.append(progheader); + } if (j.hasStatus()) { - wsInfo.appendProgressText(j.jobnum, j.getStatus()); + // Could try to squash OOMs here, but it usually doesn't help - there + // probably won't be + // enough memory to handle the results later on anyway. + // try { + String stat = j.getStatus(); + if (stat != null) + { + output.append(stat); + } + // } catch (OutOfMemoryError e) + // { + // 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()); } else {