diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 1c1bfce9d30..0f8426820c8 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -2226,6 +2226,15 @@ sub download_file { } else { $url = "$TeXLiveURL/$relpath"; } + if (defined($::current_server)) { + if ($::current_server->get_file($url, $dest)) { + debug("downloading file via permanent connection succeeded\n"); + return 1; + } else { + tlwarn("permanent server connection set up, but downloading did not succeed!"); + tlwarn("Retrying with wget.\n"); + } + } my $ret = _download_file($url, $dest, $wget); return($ret); } |