rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-21 15:54:39 +01:00
Code Issues Releases Activity

Add logging

Browse Source
This commit is contained in:
Mattia Bertorello 2019-07-22 17:11:52 +02:00 committed by Cristian Maglie
parent dd1d713d19
commit f0722843f6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java
View File

@ -146,6 +146,7 @@ public class FileDownloaderCache {
.orElseGet(() -> new FileCached(remoteURL.toString(), cacheFilePath.toString())); .orElseGet(() -> new FileCached(remoteURL.toString(), cacheFilePath.toString()));
// If the file is change of the cache is disable run the HEAD request to check if the file is changed // If the file is change of the cache is disable run the HEAD request to check if the file is changed
log.info("Get file cached is expire {}, exist {}, info {} ", fileCached.isExpire(), fileCached.exists(), fileCached);
if (fileCached.isExpire() || !fileCached.exists()) { if (fileCached.isExpire() || !fileCached.exists()) {
// Update remote etag and cache control header // Update remote etag and cache control header
final Optional<FileCached> fileCachedInfoUpdated = final Optional<FileCached> fileCachedInfoUpdated =