public class Downloader extends Object
| Constructor and Description |
|---|
Downloader(HttpClient httpClient,
Config config,
Function<File,List<File>> postDownloadFunction) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
deleteFile(File file) |
void |
deleteFolder(File folder) |
String |
download(URL url,
String driverVersion,
String driverName,
DriverManagerType driverManagerType) |
String |
getCachePath() |
File |
getTarget(String driverVersion,
String driverName,
DriverManagerType driverManagerType,
URL url) |
void |
renameFile(File from,
File to) |
protected void |
setFileExecutable(File file) |
public String download(URL url, String driverVersion, String driverName, DriverManagerType driverManagerType) throws IOException
IOExceptionpublic File getTarget(String driverVersion, String driverName, DriverManagerType driverManagerType, URL url)
public String getCachePath()
protected void setFileExecutable(File file)
protected void deleteFile(File file)
public void deleteFolder(File folder)
Copyright © 2021. All rights reserved.