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/tlpkg/TeXLive/TLPDB.pm | |
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/tlpkg/TeXLive/TLPDB.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 7c19c9a805e..3c3f4a3dce3 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -306,8 +306,7 @@ sub from_file { $self->{'media'} = $media; # # actually load the TLPDB - # if ($path =~ m;^((https?|ftp)://|file:\/\/*);) { - if ($media eq 'NET' || $path =~ m;^file:\/\/*;) { + if ($path =~ m;^((https?|ftp)://|file:\/\/*); || $path =~ m;$TeXLive::TLUtils::SshURIRegex;) { debug("TLPDB.pm: trying to initialize from $path\n"); # now $xzfh filehandle is open, the file created # TLUtils::download_file will just overwrite what is there |