summaryrefslogtreecommitdiff
path: root/Master/tlpkg/TeXLive/TLPDB.pm
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-09-24 16:02:28 +0000
committerKarl Berry <karl@freefriends.org>2019-09-24 16:02:28 +0000
commita47e69be054e8aec500e52ffb1e0f76ba7f14791 (patch)
treea3c7b9283f574d48ab123255a162db359f893924 /Master/tlpkg/TeXLive/TLPDB.pm
parent8be312e4ee76dc97473f11d39b2c83cda8242d8f (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.pm6
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;
}
}