Bug 16917: Allow users to more easily set a non-tor SSH proxy.
commit06800f1c9c0a3c2adf850f9ad70e7ee8c3e645d0
authorMike Perry <mikeperry-git@torproject.org>
Thu, 18 Feb 2016 22:22:47 +0000 (18 14:22 -0800)
committerGeorg Koppen <gk@torproject.org>
Fri, 4 Mar 2016 09:56:52 +0000 (4 09:56 +0000)
treeebbffcd8130e5348a58d16ee8f9b8bce5982d2d7
parent896e3d6525db8e7c4dd95edf95a59c63a727a578
Bug 16917: Allow users to more easily set a non-tor SSH proxy.

Creates a hidden torbutton pref, which if set, allows Tor Browser to work with
non-Tor proxies (by disabling our use of SOCKS u+p auth).

Enabling this pref also enables NoScript ABE (to prevent proxied connections
from hitting localhost/RFC1918) and executes New Identity.
src/chrome/content/torbutton.js
src/chrome/content/torbutton_util.js
src/components/domain-isolator.js
src/defaults/preferences/preferences.js