Always fetch when stale content is not allowed

openjdk · Oct 12, 2020 · 99b05e7 · 99b05e7
1 parent 52f6c1c
commit 99b05e7
Showing 1 changed file with 11 additions and 7 deletions.
diff --git a/forge/src/main/java/org/openjdk/skara/forge/HostedRepositoryPool.java b/forge/src/main/java/org/openjdk/skara/forge/HostedRepositoryPool.java
@@ -74,15 +74,19 @@ private void refreshSeed(boolean allowStale) throws IOException {
             }
 
             var seedRepo = Repository.get(seed).orElseThrow(() -> new IOException("Existing seed is corrupt?"));
-            try {
-                var lastFetch = Files.getLastModifiedTime(seed.resolve("FETCH_HEAD"));
-                if (lastFetch.toInstant().isAfter(Instant.now().minus(Duration.ofMinutes(1)))) {
-                    log.info("Seed should be up to date, skipping fetch");
-                    return;
+            if (allowStale) {
+                try {
+                    var lastFetch = Files.getLastModifiedTime(seed.resolve("FETCH_HEAD"));
+                    if (lastFetch.toInstant().isAfter(Instant.now().minus(Duration.ofMinutes(1)))) {
+                        log.info("Seed should be up to date, skipping fetch");
+                        return;
+                    }
+                } catch (IOException ignored) {
                 }
-            } catch (IOException ignored) {
+                log.info("Seed is potentially stale, time to fetch the latest upstream changes");
+            } else {
+                log.info("Fetching latest upstream changes into the seed");
             }
-            log.info("Seed is potentially stale, time to refresh it");
             try {
                 seedRepo.fetchAll();
             } catch (IOException e) {