Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- TEAMCITY_SERVER_OPTS
- -Dproxyset=true
- -Dhttp.proxyHost=11.111.1.11
- -Dhttp.proxyPort=8080
- -Dhttp.proxyUser=username
- -Dhttp.proxyPassword=password
- -Dhttp.nonProxyHosts=localhost|127.0.0.1
- -Dhttps.proxyHost=11.111.1.11
- -Dhttps.proxyPort=8080
- -Dhttps.proxyUser=username
- -Dhttps.proxyPassword=password
- -Dhttps.nonProxyHosts=localhost|127.0.0.1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement