import jalview.util.Platform;
-import java.io.ByteArrayInputStream;
import java.io.File;
import java.io.FileOutputStream;
import java.io.IOException;
public static void download(String urlstring, File tempFile) throws IOException
{
- // BH 2019.01.25 this said "...getFileAsBytes(..." which cannot work.
- // maybe we cannot get here?
- if (Platform.isJS()) {
- /** @j2sNative
- * tempFile._bytes = swingjs.JSUtil.getFileAsBytes$O(urlstring);
- */
- } else {
+ if (!Platform.setFileBytes(tempFile, urlstring))
+ {
download(urlstring, tempFile.toString());
}
}