diff options
author | Karl Berry <karl@freefriends.org> | 2019-09-24 16:02:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-09-24 16:02:28 +0000 |
commit | a47e69be054e8aec500e52ffb1e0f76ba7f14791 (patch) | |
tree | a3c7b9283f574d48ab123255a162db359f893924 /Master/tlpkg/TeXLive/TLPDB.pm | |
parent | 8be312e4ee76dc97473f11d39b2c83cda8242d8f (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@52167 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive/TLPDB.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index ac7b6c36505..70a1deaa2f4 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -290,6 +290,10 @@ sub from_file { } if ($params{'media'}) { $media = $params{'media'}; + } elsif (! -d $rootpath) { + # no point in going on if we don't even have a directory. + tlwarn("TLPDB: not a directory, not loading: $rootpath\n"); + return 0; } elsif (-d "$rootpath/texmf-dist/web2c") { $media = 'local_uncompressed'; } elsif (-d "$rootpath/texmf/web2c") { # older @@ -300,7 +304,7 @@ sub from_file { $media = 'local_compressed'; } else { # we cannot find the right type, return zero, hope people notice - tlwarn("Cannot determine type of tlpdb from $rootpath!\n"); + tlwarn("TLPDB: Cannot determine type of tlpdb from $rootpath!\n"); return 0; } } |