[tor-talk] How do I change tor's socks5 port from 9050 to 9051?

[Arsen Zahray]

Is it possible to change the tor's socks5 port? 

 

I've looked through options in Vidalia and through the documentation, and I
can't find anything of the kind