diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 09:56:50 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 15:52:07 +0100 |
| commit | 47f25e7684e6b34ade5071657d012b35f7fd51bf (patch) | |
| tree | 98b4439a661c4fc010fa0784070bfccf935346ef /src/other_tools/utils/content.hpp | |
| parent | 42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6 (diff) | |
| download | justbuild-47f25e7684e6b34ade5071657d012b35f7fd51bf.tar.gz | |
just-mr setup: Add missing reporting of failed hostname replacement
Diffstat (limited to 'src/other_tools/utils/content.hpp')
| -rw-r--r-- | src/other_tools/utils/content.hpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/other_tools/utils/content.hpp b/src/other_tools/utils/content.hpp index 91c18ba9..5f593225 100644 --- a/src/other_tools/utils/content.hpp +++ b/src/other_tools/utils/content.hpp @@ -78,6 +78,13 @@ // add preferred URL to buffer remotes_buffer.append(fmt::format("\n> {}", *preferred_url)); } + else { + // report failed hostname + remotes_buffer.append( + fmt::format("\n> {} (failed hostname replace: {})", + fetch_url, + hostname)); + } } if (not data) { // now try the main fetch URL @@ -99,6 +106,13 @@ remotes_buffer.append( fmt::format("\n> {}", *preferred_mirror)); } + else { + // report failed hostname + remotes_buffer.append(fmt::format( + "\n> {} (failed hostname replace: {})", + mirror, + hostname)); + } } // ...then the original mirror if (not data) { |