Add logging for dev

Citizen-Knowledge-Graph · May 17, 2024 · 46f34a0 · 46f34a0
1 parent 69530d2
commit 46f34a0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/public/index.html b/public/index.html
@@ -76,8 +76,10 @@ <h3>Report</h3>
         }
 
         async function checkForUpdates() {
+            console.log("Checking for updates, old commit:", latestRPsRepoCommit)
             let checkLatestRPsRepoCommit = await fetchTextFile("latest-rps-repo-commit.txt")
             if (checkLatestRPsRepoCommit === latestRPsRepoCommit) return
+            console.log("Update available, new commit:", checkLatestRPsRepoCommit)
             latestRPsRepoCommit = checkLatestRPsRepoCommit
             document.getElementById("update-banner").style.display = "block"
             let eligibleRPsBefore = [... eligibleRPs]
@@ -358,7 +360,7 @@ <h3>Report</h3>
             await fetchMetadata()
             buildFocusInputSelectChoices()
             await validateAll()
-            setInterval(checkForUpdates, 60 * 1000)
+            setInterval(checkForUpdates, 10 * 1000)
         }
 
         run()