Fix #80: proxy routing - #83

Merged

borkdude merged 8 commits into

mainfrom

Jul 26, 2026

Commits on Jul 26, 2026

Add support for constructing custom proxy routing.

jeeger
authored and
borkdude
committed
9b2ef25
Reworked handler/proxy interface into single function interface.

jeeger
authored and
borkdude
committed
86353f8
PR changes.

jeeger
authored and
borkdude
committed
6a62db3
Removed usage of environment variables for default proxy.

jeeger
authored and
borkdude
committed
d42a5a0
Removed leftover default proxy functionality.

jeeger
authored and
borkdude
committed
d702787
Implement PR fixes.

jeeger
authored and
borkdude
committed
985c8e7
Proxy selector: drop :socks, java.net.http supports HTTP proxies only
borkdude
committed
e758647
Keep ->Proxy private, it is an implementation detail of ->ProxySelector
borkdude
committed
7bd5ae8