diff options
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 14 | ||||
| -rw-r--r-- | src/other_tools/utils/content.hpp | 14 |
2 files changed, 28 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index ff35d95b..e07a8967 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -411,6 +411,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append( fmt::format("\n> {}", *preferred_url)); } + else { + // report failed hostname + remotes_buffer.append( + fmt::format("\n> {} (failed hostname replace: {})", + fetch_repo, + hostname)); + } } } if (not fetched) { @@ -469,6 +476,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append(fmt::format( "\n> {}", *preferred_mirror)); } + else { + // report failed hostname + remotes_buffer.append(fmt::format( + "\n> {} (failed hostname replace: {})", + mirror, + hostname)); + } } } if (fetched) { 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) { |