[tor-bugs] #13150 [Tor Launcher]: Windows Tor Launcher trying to connect 9151 control port always, instead of using settings

[Tor Bug Tracker & Wiki]

#13150: Windows Tor Launcher trying to connect 9151 control port always, instead of
using settings
-------------------------------+----------------------------------
     Reporter:  VasiliyPetrov  |      Owner:  brade
         Type:  defect         |     Status:  new
     Priority:  normal         |  Milestone:
    Component:  Tor Launcher   |    Version:
   Resolution:                 |   Keywords:  ControlPort, windows
Actual Points:                 |  Parent ID:
       Points:                 |
-------------------------------+----------------------------------

Comment (by VasiliyPetrov):

 BTW, I found why this:
 https://trac.torproject.org/projects/tor/ticket/13150#comment:2
 not worked

 Because I wrote a port number in quotes, but it must be written without
 it:

 # Tor Launcher Preferences:
 pref("extensions.torlauncher.control_port", 9251);

 Please add this string to extension-overrides.js in repository (but with
 default control port - 9151).

 Anyway, there is a one thing, that I do not know how to override correctly
 before first start:
 user_pref("network.proxy.socks_port", 9150);

 I tried with the same way in the extension-overrides.js:
 pref("network.proxy.socks_port", 9250);
 but it did not helped; probably, because it is a common browser settings,
 but not an extension (I do not sure about this).

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13150#comment:7>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online