Как переопределить заголовок запроса хоста по умолчанию с помощью Jetty HTTP Client v9?

Question

Я использую Jetty клиент v9 для выдачи запросов на сервер. Адрес сервера, который я указываю, должен быть в форме фактического (числового) IP-адреса по различным причинам, не важным для этого вопроса, но я хотел бы передать предполагаемое имя хоста (то есть полное доменное имя, а не числовое) в заголовке хоста, Я пробовал следующее:

request = httpClient.newRequest(url);
request.method(HttpMethod.GET);
...
request.header(HttpHeader.HOST, hostHeader);

Но обнаружил, что это не имеет никакого эффекта. Значение заголовка "Host", включенного в фактический запрос, по-прежнему совпадает с URL-адресом (содержащим числовой IP-адрес). Я проверил, что переменная "hostHeader" выше содержит правильное значение (что я хотел бы).

Кто-нибудь может дать некоторое представление о том, как переопределить это поведение по умолчанию?

Заранее спасибо!

Answer 1

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

Я только что выполнил тестовый пример, который фиксирует описанный вами вариант использования и работает для меня.

Возможно, у вас есть более сложные примеры, которые запускают угловой случай, и будет полезно, если вы сможете написать воспроизводимый контрольный пример. Если это так, пожалуйста, отправьте вопрос в Jetty Bugzilla.