diff options
author | Norbert Preining <preining@logic.at> | 2016-05-17 11:05:45 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-05-17 11:05:45 +0000 |
commit | c003f8298e2f7b5d0446274e6d320bb79faa6c79 (patch) | |
tree | 5855a8ecba248b6db4e030b1790bef90168d5e02 | |
parent | ac8a0c2380d722c4c8bc1a5427087fc729b6fbe2 (diff) |
tlmgr: w32 updater: make sure that we reset media for each container
git-svn-id: svn://tug.org/texlive/trunk@41215 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 4be54db0de0..b78aa66a336 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -2099,6 +2099,9 @@ sub write_w32_updater { foreach my $pkg (@w32_updated) { my $repo; my $mediatlp; + # need to update the media type to the original, as it is + # reset below + $media = $remotetlpdb->media; if ($media eq "virtual") { my $maxtlpdb; (undef, undef, $mediatlp, $maxtlpdb) = |