title: running vertx behind a proxy
body: <p>Has anybody had a luck trying to use vertx bihind a corporate proxy? I have tried whatever possible ways that comes to my head to provide the proxy information to vertx. Nothing works so far.</p>
  
  <p>set environment variable http_proxy=<a href="http://mycorporate.proxy.com:8080" rel="nofollow">http://mycorporate.proxy.com:8080</a> - no luck</p>
  
  <p>set environment variable VERTX_OPTS='-Dhttp.proxyHost=mycorporate.proxy.com -Dhttp.proxyPort=8080' - no luck</p>
  
  <p>set environment variables 
  http.proxyHost=mycorporate.proxy.com
  http.proxyPort=8080 
  no luck</p>
  
  <p>Injecting extra echo into vertx command I can see that proxy related parameters are being passed to JVM correctly but required module still can't be downloaded ("vertx run hello.js" just stuck obviously trying to download io.vertx~lang-rhino~2.0.0-final)</p>
  
  <p>Proxy itself is ok - I'm using it with no problem for maven, sbt and other different stuff requiring proxy
  Same laptop being used from home can successfully run "vertx run hello.js" with downloading io.vertx~lang-rhino~2.0.0-final (for the first run)</p>
  
  <p>I have just started evaluating vertx for our company needs and this is my very first choking point hindering my further attempts to make a decision. So far I have to follow next steps as workaround: 1 Run from home and get whatever required modules in sys-mods. 2 Manually upload the module(s) to sys-mods on the test server when back to the office.
  Obviously this is not a normal way to run anything.</p>