diff options
author | Julian Andres Klode <julian.klode@canonical.com> | 2018-08-31 16:07:07 +0200 |
---|---|---|
committer | Julian Andres Klode <julian.klode@canonical.com> | 2018-09-18 16:07:24 +0200 |
commit | df696650b7a8c58bbd92e0e1619e956f21010a96 (patch) | |
tree | ccd3ca2f5f43addde8067526fe74df63754e558e /cmdline/apt-report-mirror-failure | |
parent | 252a0a5020726a7b1ee53f2ed5f00e1210f5f4d1 (diff) |
http: Stop pipeline after close only if it was not filled before
It is perfectly valid behavior for a server to respond with
Connection: close eventually, even when pipelining. Turning
off pipelining due to that is wrong. For example, some Ubuntu
mirrors close the connection after 101 requests. If I have
more packages to install, only the first 101 would benefit
from pipelining.
This commit introduces a new check to only turn of pipelining
for future connections if the pipeline for this connection did
not have 3 successful fetches before, that should work quite well to
detect broken server/proxy combinations like in bug 832113.
Diffstat (limited to 'cmdline/apt-report-mirror-failure')
0 files changed, 0 insertions, 0 deletions