summaryrefslogtreecommitdiff
path: root/Master/tlpkg/TeXLive/TLPDB.pm
diff options
context:
space:
mode:
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;
}
}