If we encounter an .onion domain in a reseed URL, automatically set the proxy...

If we encounter an .onion domain in a reseed URL, automatically set the proxy to Tor's default if a proxy is not already configured. If the user specifies a proxy in the configuration file, this change is ignored.

This makes it possible for reseed operators who use an .onion URL to be included in the list of reseed URLs, without requiring all reseed requests to go over Tor by default. If Tor is present they will work, if Tor is not present they don't and nothing changes.

I have a reseed server running on my laptop as a .onion obviously this should be used for testing purposes only, here is the URL: https://zktj5jw72srd7raiqyrhrt4pzebaruk3cf4qclpcqtigedtvhhob6gad.onion/

• hankhill19580_at_gmail.com_0A.crt
• lib14.crt

With a checkout of this branch you'll be able to enter https://zktj5jw72srd7raiqyrhrt4pzebaruk3cf4qclpcqtigedtvhhob6gad.onion/i2pseeds.su3 on the "Reseed from URL" field on /configreseed. That will automatically fetch the .onion reseed over Tor.