diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 6132a43c2e5..d50a0b5318b 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -2492,6 +2492,10 @@ sub check_collections { # sub init_local_db { my ($should_i_die) = @_; + # if the localtlpdb is already defined do simply return here already + # to make sure that the settings in the local tlpdb do not overwrite + # stuff changed via the GUI + return if defined $localtlpdb; $localtlpdb = TeXLive::TLPDB->new ("root" => $Master); die("cannot find tlpdb in $Master") unless (defined($localtlpdb)); # setup the programs, for w32 we need the shipped wget/lzma etc, so we |