git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2ef73c1
)
JAL-3878 Change SERVER_ERROR.isSubmitted to false.
author
Mateusz Warowny
<mmzwarowny@dundee.ac.uk>
Fri, 24 Sep 2021 13:43:42 +0000
(15:43 +0200)
committer
Mateusz 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
patch
|
blob
|
history
diff --git
a/src/jalview/ws2/WSJobStatus.java
b/src/jalview/ws2/WSJobStatus.java
index
056decf
..
73e5fd8
100755
(executable)
--- 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: