diff options
| author | Mattia Bertorello <m.bertorello@arduino.cc> | 2019-07-22 18:11:52 +0300 |
|---|---|---|
| committer | Cristian Maglie <c.maglie@bug.st> | 2019-07-23 10:49:55 +0300 |
| commit | f0722843f6701b2441a0832997cb0470c19d4c2c (patch) | |
| tree | e4636a22a4cca494526c9eeadc31c9a17b2a15be | |
| parent | dd1d713d192776b5c109545d5ae9dc180124fe4d (diff) | |
Add logging
| -rw-r--r-- | arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java b/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java index 903f4ad24..766e70859 100644 --- a/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java +++ b/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java @@ -146,6 +146,7 @@ public class FileDownloaderCache { .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 + log.info("Get file cached is expire {}, exist {}, info {} ", fileCached.isExpire(), fileCached.exists(), fileCached); if (fileCached.isExpire() || !fileCached.exists()) { // Update remote etag and cache control header final Optional<FileCached> fileCachedInfoUpdated = |