commit de52ae9026cb207faf69e2218ec0a5e26009b220 Author: Sukhbir Singh sukhbir@torproject.org Date: Mon Jun 20 10:29:52 2016 -0400

Update port to 9150 (related to #19049) --- chrome/content/preferences.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/content/preferences.js b/chrome/content/preferences.js index c843d3c..59fe209 100644 --- a/chrome/content/preferences.js +++ b/chrome/content/preferences.js @@ -41,7 +41,7 @@ if (!org.torbirdy.prefs) org.torbirdy.prefs = new function() { if (pub.prefs.getBoolPref("extensions.torbirdy.enigmail.throwkeyid")) { opts += "--throw-keyids "; } - var proxy = "socks5h://127.0.0.1:9050"; + var proxy = "socks5h://127.0.0.1:9150"; if (anonService === "jondo") { proxy = "http://127.0.0.1:4001"; }