Fix: add RENDERER_KILLED_BY_USER to download checks (#271)

laurent-clouet · Jun 21, 2020 · 9753859 · 9753859
1 parent 90137a3
commit 9753859
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/com/sheepit/client/Client.java b/src/com/sheepit/client/Client.java
@@ -740,7 +740,7 @@ private Error.Type downloadFile(Job ajob, String local_path, String md5_server,
 		// must download the archive
 		Error.Type ret = this.server.HTTPGetFile(url, local_path, this.gui, update_ui);
 
-		if (ret != Type.RENDERER_KILLED_BY_SERVER || ret != Type.RENDERER_KILLED_BY_USER_OVER_TIME) {
+		if (ret == Type.RENDERER_KILLED_BY_SERVER || ret == Type.RENDERER_KILLED_BY_USER_OVER_TIME || ret == Type.RENDERER_KILLED_BY_USER) {
 			return ret;
 		}