summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xrun.sh5
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