Fix: add RENDERER_KILLED_BY_USER to download checks (#271)

This commit is contained in:
Luis Uguina
2020-06-21 19:15:53 +10:00
committed by GitHub
parent cc99f3a146
commit 375ff311d4

View File

@@ -740,7 +740,7 @@ import lombok.Data;
// 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;
}