diff --git a/deploy/docker/scripts/run-java.sh b/deploy/docker/scripts/run-java.sh index 0bed6de037..99f8fc9d08 100755 --- a/deploy/docker/scripts/run-java.sh +++ b/deploy/docker/scripts/run-java.sh @@ -25,7 +25,7 @@ if [[ -z "${NO_PROXY-}" ]]; then fi if [[ $proxy_configured == 1 ]]; then - proxy_args+=(-Djava.net.useSystemProxies=true -Dhttp.nonProxyHosts="${NO_PROXY/,/|}") + proxy_args+=(-Djava.net.useSystemProxies=true -Dhttp.nonProxyHosts="${NO_PROXY//,/|}") fi # Wait until RTS started and listens on port 8091