Port settings

If socks5 is being used as a proxy, you may configure a specific ports for the proxy using the following line in config.tdsl:

proxy {
    'connections' {
        'ports' = [ 1080 ]
      }
}