Задача Ant GET и прокси

Question

Как использовать Задача Ant GET с прокси?

Я вижу только имя пользователя и пароль, но прокси-сервер отсутствует: (

Answer 1

Ключевой бит в get документах задач :

Прокси .Начиная с Apache Ant 1.7.0, Ant, работающий на Java1.5 или новее, может использовать параметры прокси операционной системы, если он включен с параметром -autoproxy.Существует также задача 'setproxy' для более ранних версий Java.Если прокси включены, запросы к localhost могут работать не так, как ожидалось, если запрос передается на прокси.

Таким образом, вы можете использовать задачу setproxy для более старых версий.Ant или смотрите документацию по proxy config :

<setproxy proxyhost="firewall" proxyport="81"/>

(атрибуты имени пользователя и пароля для задачи get предназначены для удаленной системы, а не для промежуточногопрокси.)

Answer 2

В моем случае (в Windows cmdline ) единственная опция, которая фактически сработала, - это предшествовать вызову ant с набором определений.Обратите внимание, что они не должны быть включены в двойные кавычки:

set ANT_OPTS = -Dhttp.proxyHost = proxy.address -Dhttp.proxyPort = proxy.port

с заменой proxy.address и proxy.port фактическими значениями курса ...

Я включил эту опцию здесь, потому что я также пробовал атрибут, но в проектескачал из интернета не смог найти где его поставить!Файлы сборки для проекта, в котором уже были подготовлены команды ant get, использовались за прокси-сервером.