summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/TeXLive/TLUtils.pm9
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);
}