org.nd4j.resources

Class Downloader

java.lang.Object

org.nd4j.resources.Downloader

public class Downloader
extends java.lang.Object

Downloader utility methods

Author:

Alex Black

Method Summary

Modifier and Type	Method and Description
static boolean	checkMD5OfFile(java.lang.String targetMD5, java.io.File file) Check the MD5 of the specified file
static void	download(java.lang.String name, java.net.URL url, java.io.File f, java.lang.String targetMD5, int maxTries) Download the specified URL to the specified file, and verify that the target MD5 matches
static void	downloadAndExtract(java.lang.String name, java.net.URL url, java.io.File f, java.io.File extractToDir, java.lang.String targetMD5, int maxTries) Download the specified URL to the specified file, verify that the MD5 matches, and then extract it to the specified directory. Note that the file must be an archive, with the correct file extension: .zip, .jar, .tar.gz, .tgz or .gz

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

download

public static void download(java.lang.String name,
                            java.net.URL url,
                            java.io.File f,
                            java.lang.String targetMD5,
                            int maxTries)
                     throws java.io.IOException

Download the specified URL to the specified file, and verify that the target MD5 matches

Parameters:

name - Name (mainly for providing useful exceptions)

url - URL to download

f - Destination file

targetMD5 - Expected MD5 for file

maxTries - Maximum number of download attempts before failing and throwing an exception

Throws:

java.io.IOException - If an error occurs during downloading

downloadAndExtract

public static void downloadAndExtract(java.lang.String name,
                                      java.net.URL url,
                                      java.io.File f,
                                      java.io.File extractToDir,
                                      java.lang.String targetMD5,
                                      int maxTries)
                               throws java.io.IOException

Download the specified URL to the specified file, verify that the MD5 matches, and then extract it to the specified directory.
Note that the file must be an archive, with the correct file extension: .zip, .jar, .tar.gz, .tgz or .gz

Parameters:

name - Name (mainly for providing useful exceptions)

url - URL to download

f - Destination file

extractToDir - Destination directory to extract all files

targetMD5 - Expected MD5 for file

maxTries - Maximum number of download attempts before failing and throwing an exception

Throws:

java.io.IOException - If an error occurs during downloading

checkMD5OfFile

public static boolean checkMD5OfFile(java.lang.String targetMD5,
                                     java.io.File file)
                              throws java.io.IOException

Check the MD5 of the specified file

Parameters:

targetMD5 - Expected MD5

file - File to check

Returns:

True if MD5 matches, false otherwise

Throws:

java.io.IOException