commit 1045661f25553416164e042cd69593e08e937b94
author Luca Milanesio <luca.milanesio@gmail.com> Tue Jun 06 21:04:43 2023 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> Wed Jun 14 12:42:59 2023 +0000
tree a75afebbbd324d4751097e2dfe42579c71bc01b0
parent d57b02bc107d26c8806c02a9857fff7ad3c8fbf5

Fix the global up-to-date status of a project vs global-refdb

Change-Id: I5259093e43c2a5c2d2814a30a73727ce48611f91

multi-primary/globalrefdb.groovy

diff --git a/multi-primary/globalrefdb.groovy b/multi-primary/globalrefdb.groovy
index 1530f9b..8b79239 100644
--- a/multi-primary/globalrefdb.groovy
+++ b/multi-primary/globalrefdb.groovy
@@ -82,7 +82,8 @@
           def refsDonePerc = 0
           def startTime = System.currentTimeMillis()
           repo.refDatabase.refs.each { ref ->
-            checkRef(projectName, repo, ref)
+            def refUpToDate = checkRef(projectName, repo, ref)
+            upToDate = upToDate && refUpToDate
             if (!verbose) {
               refsDone++
               if ((refsDone * 100).intdiv(totRefs) > refsDonePerc) {
@@ -114,6 +115,8 @@
       def globalRef = globalRefDb.get().get(projectName, ref.name, String.class)
       println "[OUTDATED] ${ref.name}:${ref.objectId.name} <> ${globalRef.orElse('MISSING')}"
     }
+
+    return isUpToDate
   }
 }