Advertisement
Guest User

Untitled

a guest
Sep 19th, 2017
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.54 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
  13.  
  14. -Dproxyset=true -Dhttp.proxyHost=localhost -Dhttp.proxyPort=3128 -Dhttp.nonProxyHosts="localhost|127.0.0.1" -Dhttps.proxyHost=localhost -Dhttps.proxyPort=3128 -Dhttps.nonProxyHosts="localhost|127.0.0.1"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement