From 6d19cb6137599f202bf183400516afec03323355 Mon Sep 17 00:00:00 2001 From: Joshua Root Date: Wed, 6 Aug 2025 17:21:59 +1000 Subject: [PATCH] mirrordb: print curl errors other than 404 --- tools/mirrordb.tcl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/mirrordb.tcl b/tools/mirrordb.tcl index d024701..68fb946 100644 --- a/tools/mirrordb.tcl +++ b/tools/mirrordb.tcl @@ -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