summaryrefslogtreecommitdiff
path: root/Master/tlpkg/TeXLive
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-07-12 12:01:19 +0000
committerNorbert Preining <preining@logic.at>2008-07-12 12:01:19 +0000
commit4f3fa68f642c21f3597b0f51937059981f2064e3 (patch)
treeb22118ea81a38bff2377779e8633ae80e3d4e1ca /Master/tlpkg/TeXLive
parent8d47e9c809b06fb0139ec5eb1bb72ed1c4c20c65 (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.pm5
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") {