This avoids some false negatives for is_proxy_tor. (previously we only set is_proxy_tor when the proxy settings were changed) In particular, consider scenario: - Tor browser not running - user sets "localhost:9150" as proxy - detection sets network.is_proxy_tor to False - user starts Tor browser - network, due to retries, finds proxy working and connects to some servers - network.is_proxy_tor remains False
64 KiB
64 KiB