Почему Nginx игнорирует конечные точки в заголовке «Хост»?

Я столкнулся со странным поведением в Nginx с запросами, у которых есть конечная точка в имени хоста, т.е. domain.com. скорее, чем domain.com в одиночестве. Я настроил простую конфигурацию сервера для тестирования, например:

server {
    listen 80;
    server_name example.com.;
    root /var/www/example;
    index server1.txt;
}

server {
    listen 80;
    server_name example.com;
    root /var/www/example;
    index server2.txt;
}

Изначально я ожидал, что запросы к example.com. будут отправлены в первый блок, а запросы будут отправлены в example.com будет отправлен на второй. Запросы, чьи Host заголовок не соответствует ни одному блоку, например www.example.com, Я ожидал, что снова попаду в первый блок, поскольку это было неявное значение по умолчанию.

Однако при тестировании я обнаружил, что запросы к example.com. были отправлены вместо второй блок. После долгого экспериментирования с различными альтернативными именами, регулярными выражениями и т. Д. Я решил написать $host переменную в настраиваемый заголовок, чтобы я мог посмотреть на нее. Оказывается, Nginx на самом деле падение конечная точка от $host стоимость. Насколько я могу судить, запрос получен на example.com. считается идентичным полученному в example.com, по крайней мере, что касается выбора сервера. Это кажется нежелательным, так как конечные точки может привести к различным ошибкам..

Чтобы сделать ситуацию еще более запутанной, после некоторого поиска в Google я обнаружил журнал изменений Nginx страница, которая имеет в журнале изменений 0.1.29:

Исправление: nginx не учитывал конечную точку в строке заголовка "Host".

Затем, годы спустя, в журнале изменений 1.5.9 говорится:

Исправление: распознаватель не понимал доменные имена с точкой в ​​конце. Спасибо Ичун Чжан.

Хотя я не уверен, относится ли «преобразователь» к компоненту Nginx, который задействован при получении запроса. (Из чтения документации кажется, что распознаватель ничего не делает, если запрос не перенаправляется на какой-то другой хост, имя которого затем должно быть разрешено.)

Что тут происходит? Должен ли Nginx отбрасывать конечную точку при оценке имен серверов? Если это является предполагаемое поведение, не следует ли также удалять конечную точку из server_name параметр, чтобы выдать ошибку "конфликтующее имя сервера"?

Я знаю, что доменное имя без конечной точки технически является «относительным» доменным именем, а не «абсолютным», хотя большинство людей в наши дни, кажется, рассматривают их как все относящиеся к . зона, поэтому это не имеет практического значения. Но разве Nginx не должен, по крайней мере, при желании сделать это различие?

Наконец, есть ли лучший способ перехватывать и перенаправлять запросы на example.com. чем добавление if ($http_host = 'domain.com.')? Я был сказал что это неэффективно, так как требует Host заголовок должен быть оценен дважды.