summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index 07b7f656511..c8d3e82ee69 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -6731,7 +6731,7 @@ END_NO_INTERNET
}
if (!$local_copy_tlpdb_used) {
$remotetlpdb = TeXLive::TLPDB->new(root => $location, verify => 1);
- if ($is_main) {
+ if ($is_main && $remotetlpdb) {
if ($remotetlpdb->verification_status == $VS_UNSIGNED) {
# we don't allow unsigned main data bases!
tldie("$prg: main database at $location is not signed\n");