Description: Configure SOCKS port preferences using system tor port 9050
Author: Ulrike Uhlig <u@451f.org>
Last-Update: 2018-04-11
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");
@@ -436,7 +436,7 @@
     // Tor.
     if (anonService === 0) {
       pub.socksHost.value = '127.0.0.1';
-      pub.socksPort.value = '9150';
+      pub.socksPort.value = '9050';
     }
 
     // JonDo/Whonix.
