diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 0ae8fd6ceab..f7295ceec00 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -379,9 +379,14 @@ sub main { if (!defined($do_persistent)) { $do_persistent = 1; } - debug("persistent download are $do_persistent\n"); + debug("tlmgr:main: persistent download are $do_persistent\n"); TeXLive::TLUtils::setup_persistent_downloads() if $do_persistent; + if (!defined($::tldownload_server)) { + debug("tlmgr:main: ::tldownload_server not defined\n"); + } else { + debug("tlmgr:main: ::tldownload_server defined\n"); + } } execute_action($action, @ARGV); |