diff options
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -7,14 +7,18 @@ fi # Proxy parameters from # http://docs.oracle.com/javase/7/docs/technotes/guides/security/jsse/JSSERefGuide.html#Customization +proxyport=8008 proxy_options() { # Do not add proxy options if there is no CA or no_proxy env is set - if [ -z "$CA" ] || [ -n "$no_proxy" ]; then + if [ ! -s "$CA" ] || [ -n "$no_proxy" ]; then return fi + # If proxy is not running, don't enable it + netstat -tnl | grep -q :8008 || return + echo -Dhttps.proxyHost=localhost - echo -Dhttps.proxyPort=8008 + echo -Dhttps.proxyPort=$proxyport echo -Djavax.net.ssl.trustStore=$CA } |