fix run.sh to detect non-existing proxy

1 files changed, 6 insertions, 2 deletions

diff --git a/run.sh b/run.sh
index 3a92d1f..fbd35e2 100755
--- a/run.sh
+++ b/run.sh
@@ -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
 }