From 53695d49d8b4dd282774596a45633e5f39ab7edc Mon Sep 17 00:00:00 2001 From: Mattia Bertorello Date: Thu, 4 Jul 2019 18:14:06 +0200 Subject: [PATCH] Add comments --- .../src/cc/arduino/utils/network/FileDownloaderCache.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java b/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java index 41995b7ab..350f1f1f3 100644 --- a/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java +++ b/arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java @@ -173,8 +173,10 @@ public class FileDownloaderCache { if (cachedFiles != null) { synchronized (cachedFiles) { ObjectMapper mapper = new ObjectMapper(); + // Generate a pretty json mapper.enable(SerializationFeature.INDENT_OUTPUT); final ObjectNode objectNode = mapper.createObjectNode(); + // Generate a json {"files":[...{files_info}...]} objectNode.putArray("files").addAll( cachedFiles.values().stream() .map((v) -> mapper.convertValue(v, JsonNode.class)) @@ -184,6 +186,7 @@ public class FileDownloaderCache { if (Files.notExists(cachedFileInfo)) { Files.createDirectories(cachedFileInfo.getParent()); } + // Write to cache.json mapper.writeValue(cachedFileInfo.toFile(), objectNode); } }