Community
Participate
Working Groups
}
cacheFile.getParentFile().mkdirs();
OutputStream metadata = new BufferedOutputStream(new FileOutputStream(cacheFile));
IStatus result;
try {
IStatus result = getTransport().download(remoteFile.toString(), metadata, monitor);
result = getTransport().download(remoteFile.toString(), metadata, monitor);
if (!result.isOK()) {
throw new ProvisionException(result);
} finally {
metadata.close();
//don't leave a partial cache file lying around
cacheFile.delete();
return cacheFile;
// cache is stale
return true;
return lastModifiedRemote > lastModified ? true : false;
return lastModifiedRemote > lastModified;
/**