diff options
author | Thomas Wolf <thomas.wolf@paranor.ch> | 2019-07-31 19:40:40 +0200 |
---|---|---|
committer | Thomas Wolf <thomas.wolf@paranor.ch> | 2019-10-30 15:16:51 +0100 |
commit | b7d1eb4185aa35f037790580b60c1f2d76968fa8 (patch) | |
tree | 7f5a387d4dd0fd2871f31cf2ee456c0f90d34bdd /org.eclipse.jgit.test/src | |
parent | cf11a03bc267fa86aa5dc538ff0ffc777d659c8a (diff) | |
download | jgit-b7d1eb4185aa35f037790580b60c1f2d76968fa8.tar.gz jgit-b7d1eb4185aa35f037790580b60c1f2d76968fa8.zip |
HttpSupport.proxyFor(): use only scheme, host, and port
Some URLs cannot be converted via URL.toURI(). So don't convert
the full URL but only the bits that are needed to find a proxy
via java.net.ProxySelector.
Bug: 549690
Change-Id: I55b5ecee70c6b52f72f9bdba9ce552fde7f33976
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit.test/src')
0 files changed, 0 insertions, 0 deletions