diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
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"); |