diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLPDB.pm')
| -rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index e41aea078e2..920db228282 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -356,11 +356,12 @@ sub from_file { debug("TLPDB: downloading $path.xz didn't succeed, try $path\n"); my $ret = TeXLive::TLUtils::download_file($path, $tlpdbfile); # better to check both, the return value AND the existence of the file - if ($ret && (-r "$tlpdbfile")) { + if ($ret && (-r $tlpdbfile)) { # do nothing } else { unlink($tlpdbfile); - die "$0: open tlpdb($path) failed: $!"; + tldie( "$0: TLPDB::from_file could not download $path;\n" + . "$0: maybe the repository setting should be changed.\n"); } } # if we are still here, then either the xz version was downloaded |