diff options
author | Norbert Preining <preining@logic.at> | 2018-05-25 02:27:29 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2018-05-25 02:27:29 +0000 |
commit | 21ab4373a09a55afdc03c23a1288bdaaeaa34824 (patch) | |
tree | f2644c5120c4fe9c31f6ea72a882329d53a904c6 /Master/texmf-dist/scripts | |
parent | 2147e286737ea681e54fa6352ea103e03d0c3c5d (diff) |
allow for retrial with mutiple downloaders until succeed
git-svn-id: svn://tug.org/texlive/trunk@47833 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-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 8ee5ee58b33..f6ef77c4bad 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -6527,7 +6527,7 @@ sub init_local_db { if (!setup_programs("$Master/tlpkg/installer", $localtlpdb->platform)) { tlwarn("$prg: Couldn't set up the necessary programs.\nInstallation of packages is not supported.\nPlease report to texlive\@tug.org.\n"); if (defined($should_i_die) && $should_i_die) { - return ($F_ERROR); + die("$prg: no way to continue!\n"); } else { tlwarn("$prg: Continuing anyway ...\n"); return ($F_WARNING); |