run.sh: add helper to disable hostname verification

1 files changed, 5 insertions, 0 deletions

diff --git a/run.sh b/run.sh
index fbd35e2..e4ff268 100755
--- a/run.sh
+++ b/run.sh
@@ -20,6 +20,11 @@ proxy_options() {
     echo -Dhttps.proxyHost=localhost
     echo -Dhttps.proxyPort=$proxyport
     echo -Djavax.net.ssl.trustStore=$CA
+    # Disable hostname verification
+    premain=tools/DisableSSLHostnameVerify.jar
+    if [ -e "$premain" ]; then
+        echo -javaagent:$premain
+    fi
 }
 
 # Exit on errors