Кому-нибудь повезло с попыткой использовать vertx bi за корпоративным прокси? Я пробовал все возможные способы, которые приходили мне в голову, чтобы предоставить vertx информацию о прокси. Пока ничего не работает.
установить переменную среды http_proxy = http://mycorporate.proxy.com:8080 - не повезло
установить переменную среды VERTX_OPTS = '- Dhttp.proxyHost = mycorporate.proxy.com -Dhttp.proxyPort = 8080' - не повезло
установить переменные среды http.proxyHost = mycorporate.proxy.com http.proxyPort = 8080 не повезло
Ввод дополнительного эха в команду vertx. Я вижу, что параметры, связанные с прокси-сервером, передаются в JVM правильно, но требуемый модуль все еще не может быть загружен ("vertx run hello.js" просто застрял, очевидно, пытаясь загрузить io.vertx ~ lang-rhino ~ 2.0.0-финал)
Сам прокси в порядке - я использую его без проблем для maven, sbt и других разных вещей, требующих прокси. Тот же ноутбук, который используется из дома, может успешно запустить «vertx run hello.js» с загрузкой io.vertx ~ lang-rhino ~ 2.0 .0-финал (для первого запуска)
Я только начал оценивать vertx для нужд нашей компании, и это моя первая точка удушья, мешающая моим дальнейшим попыткам принять решение. Пока я должен выполнить следующие шаги в качестве обходного пути: 1 Бежать из дома и получить все необходимые модули в sys-mods. 2 Вручную загрузите модули в sys-mods на тестовом сервере, когда вернетесь в офис. Очевидно, что это ненормальный способ запускать что-либо.