From cc4dc8e354640ad8b2c5b522f7a61a469546fa10 Mon Sep 17 00:00:00 2001 From: Mateusz Warowny Date: Fri, 24 Sep 2021 15:43:42 +0200 Subject: [PATCH] JAL-3878 Change SERVER_ERROR.isSubmitted to false. Some server errors may occur before the job is submitted. It's safer to associate the error with the job not being submitted. --- src/jalview/ws2/WSJobStatus.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/ws2/WSJobStatus.java b/src/jalview/ws2/WSJobStatus.java index 056decf..73e5fd8 100755 --- a/src/jalview/ws2/WSJobStatus.java +++ b/src/jalview/ws2/WSJobStatus.java @@ -36,9 +36,9 @@ public enum WSJobStatus case FINISHED: case BROKEN: case FAILED: - case SERVER_ERROR: case CANCELLED: return true; + case SERVER_ERROR: case INVALID: case READY: default: -- 1.7.10.2