diff options
author | Norbert Preining <preining@logic.at> | 2015-10-12 02:51:38 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2015-10-12 02:51:38 +0000 |
commit | 62e4ebfc23e63182647c7a7bd9c8994e2ea18e0b (patch) | |
tree | e8a9976752412894310c14014b4bdc39b7660c30 | |
parent | 5cd0ae6b91453341e217ece3c61ddde91733d458 (diff) |
tlmgr: list servers when we find inconsistencies
git-svn-id: svn://tug.org/texlive/trunk@38618 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 6b096ffdffa..8b7dc0d8af5 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -3023,7 +3023,9 @@ sub action_update { # - then it is tried to be updated here, which is not working! # report that and ask for report if (!defined($tlp)) { - tlwarn("$prg: inconsistency on the server:\n"); + my %servers = repository_to_array($location); + my $servers = join("\n ", values(%servers)); + tlwarn("$prg: inconsistency on (one of) the server(s): $servers\n"); tlwarn("$prg: tlp for package $pkg cannot be found, please report.\n"); $ret |= $F_WARNING; next; |