Advertisement
Guest User

Untitled

a guest
Jan 28th, 2016
172
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.33 KB | None | 0 0
  1. TEAMCITY_SERVER_OPTS
  2. -Dproxyset=true
  3. -Dhttp.proxyHost=11.111.1.11
  4. -Dhttp.proxyPort=8080
  5. -Dhttp.proxyUser=username
  6. -Dhttp.proxyPassword=password
  7. -Dhttp.nonProxyHosts=localhost|127.0.0.1
  8. -Dhttps.proxyHost=11.111.1.11
  9. -Dhttps.proxyPort=8080
  10. -Dhttps.proxyUser=username
  11. -Dhttps.proxyPassword=password
  12. -Dhttps.nonProxyHosts=localhost|127.0.0.1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement