create an error type for when the server kills the render (before it was part of NOOUTPUTFILE)

This commit is contained in:
Laurent Clouet
2016-11-01 19:44:09 +01:00
parent aacf0d407e
commit ea50176133
4 changed files with 18 additions and 1 deletions

View File

@@ -497,7 +497,7 @@ public class Client {
// no exception should be raised to actual launcher (applet or standalone)
}
if (error != null && (error == Error.Type.RENDERER_CRASHED || error == Error.Type.RENDERER_KILLED_BY_USER)) {
if (error != null && (error == Error.Type.RENDERER_CRASHED || error == Error.Type.RENDERER_KILLED_BY_USER || error == Error.Type.RENDERER_KILLED_BY_SERVER)) {
// do nothing, we can ask for a job right away
}
else {