diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index f7295ceec00..a97dcc32c4d 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -2550,7 +2550,16 @@ sub action_update { my $tlp = $localtlpdb->get_package($pkg); # we checked already that this package is present! # but our checks seem to be wrong, no idea why + # ahhh, it seems that it can happen due to a stupid incident, a bug + # on the server: + # - remove a package from a collection + # - at the same time increase its version number + # then what happens is: + # - first the package is removed (auto-remove!) + # - then it is tried to be updated here, which is not working! + # report that and ask for report if (!defined($tlp)) { + tlwarn("tlmgr: inconsistency on the server:\n"); tlwarn("tlmgr: tlp for package $pkg cannot be found, please report.\n"); next; } |