JAL-3878 Change SERVER_ERROR.isSubmitted to false.
authorMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 24 Sep 2021 13:43:42 +0000 (15:43 +0200)
committerMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 24 Sep 2021 13:43:42 +0000 (15:43 +0200)
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

index 056decf..73e5fd8 100755 (executable)
@@ -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: