mirrordb: print curl errors other than 404

2026-07-12 18:18:44 -07:00 · 2025-08-06 17:21:59 +10:00
parent a314bc45d0
commit 6d19cb6137
1 changed files with 4 additions and 1 deletions
@@ -34,7 +34,10 @@ proc get_remote_db_value {key} {
        set fd [open mirror_db_response r]
        gets $fd result
        close $fd
-    } on error {} {
+    } on error {err} {
+        if {$err ne "The requested URL returned error: 404"} {
+            puts stderr "get_remote_db_value: curl failed for key '$key': $err"
+        }
        set result {}
    } finally {
        file delete mirror_db_response