diff options
-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) = |