Description: Configure SOCKS port preferences using system tor port 9050
Author: Ulrike Uhlig <u@451f.org>
Last-Update: 2016-07-02
Bug-Debian: http://bugs.debian.org/756054

--- a/chrome/content/preferences.js
+++ b/chrome/content/preferences.js
@@ -25,7 +25,7 @@
 
   pub.setDefaultPrefs = function() {
     pub.prefs.setCharPref("network.proxy.socks", "127.0.0.1");
-    pub.prefs.setIntPref("network.proxy.socks_port", 9150);
+    pub.prefs.setIntPref("network.proxy.socks_port", 9050);
     pub.prefs.clearUserPref("network.proxy.http");
     pub.prefs.clearUserPref("network.proxy.http_port");
     pub.prefs.clearUserPref("network.proxy.ssl");
@@ -42,7 +42,7 @@
       opts += "--throw-keyids ";
     }
     if (! pub.prefs.getBoolPref("extensions.torbirdy.gpg_already_torified")) {
-      var proxy = "socks5h://127.0.0.1:9150";
+      var proxy = "socks5h://127.0.0.1:9050";
       if (anonService === "jondo") {
         proxy = "http://127.0.0.1:4001";
       }
@@ -440,7 +440,7 @@
     // Tor.
     if (anonService === 0) {
       pub.socksHost.value = '127.0.0.1';
-      pub.socksPort.value = '9150';
+      pub.socksPort.value = '9050';
     }
 
     // JonDo/Whonix.
