diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2017-06-28 22:56:27 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2017-06-29 01:23:59 +0200 |
| commit | 9bdc09016f9570389451dd619d7e878bfeaa91df (patch) | |
| tree | 48c3b09c3905578a76243edb4f75c260449a1edd /apt-private/private-unmet.cc | |
| parent | 579f8f1008eceecd3da9ac53923c6a8d08244cb7 (diff) | |
use port from SRV record instead of initial port
An SRV record includes a portnumber to use with the host given, but apt
was ignoring the portnumber and instead used either the port given by
the user for the initial host or the default port for the service.
In practice the service usually runs on another host on the default
port, so it tends to work as intended and even if not and apt can't get
a connection there it will gracefully fallback to contacting the initial
host with the right port, so its a user invisible bug most of the time.
Diffstat (limited to 'apt-private/private-unmet.cc')
0 files changed, 0 insertions, 0 deletions