diff options
| author | Norbert Preining <preining@logic.at> | 2008-07-12 12:01:19 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2008-07-12 12:01:19 +0000 |
| commit | 4f3fa68f642c21f3597b0f51937059981f2064e3 (patch) | |
| tree | b22118ea81a38bff2377779e8633ae80e3d4e1ca /Master/tlpkg/TeXLive | |
| parent | 8d47e9c809b06fb0139ec5eb1bb72ed1c4c20c65 (diff) | |
TLMedia: again a fix for correct media detection
git-svn-id: svn://tug.org/texlive/trunk@9467 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive')
| -rw-r--r-- | Master/tlpkg/TeXLive/TLMedia.pm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLMedia.pm b/Master/tlpkg/TeXLive/TLMedia.pm index 03fb7301bed..2f2737689f9 100644 --- a/Master/tlpkg/TeXLive/TLMedia.pm +++ b/Master/tlpkg/TeXLive/TLMedia.pm @@ -25,9 +25,12 @@ sub new # no default by itself ... # $location = "$TeXLiveURL" unless (defined($location)); # do media autodetection - if ($location =~ m,http://|ftp://|file://*,) { + if ($location =~ m,http://|ftp://,) { $media = 'NET'; } else { + if ($location =~ m,file://*(.*)$,) { + $location = "/$1"; + } if (-d "$location/texmf/web2c") { $media = 'DVD'; } elsif (-d "$location/$Archive") { |