[torbutton/master] 9150 is now the recommended proxy port.

commit 8df85f511f9936a108d77c3cba6e3c2b2a5afc8f Author: Mike Perry <mikeperry-git@fscked.org> Date: Sun Feb 10 23:19:10 2013 -0800 9150 is now the recommended proxy port. --- src/chrome/content/preferences.js | 2 +- src/components/startup-observer.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/chrome/content/preferences.js b/src/chrome/content/preferences.js index fbc82ac..ddc1994 100644 --- a/src/chrome/content/preferences.js +++ b/src/chrome/content/preferences.js @@ -72,7 +72,7 @@ function torbutton_prefs_set_field_attributes(doc) if (environ.exists("TOR_SOCKS_PORT")) { doc.getElementById('torbutton_socksPort').value = parseInt(environ.get("TOR_SOCKS_PORT")); } else { - doc.getElementById('torbutton_socksPort').value = 9050; + doc.getElementById('torbutton_socksPort').value = 9150; } if (environ.exists("TOR_SOCKS_HOST")) { diff --git a/src/components/startup-observer.js b/src/components/startup-observer.js index e298f78..c3b4251 100644 --- a/src/components/startup-observer.js +++ b/src/components/startup-observer.js @@ -119,7 +119,7 @@ StartupObserver.prototype = { } this.logger.log(3, "Reset socks port to "+environ.get("TOR_SOCKS_PORT")); } else if (this._prefs.getCharPref('extensions.torbutton.settings_method') == 'recommended') { - this._prefs.setIntPref('extensions.torbutton.socks_port', 9050); + this._prefs.setIntPref('extensions.torbutton.socks_port', 9150); } if (environ.exists("TOR_SOCKS_HOST")) {
participants (1)
-
mikeperry@torproject.org