Изменить порт Jetty по умолчанию ⇐ JAVA

[Anonymous]

Порт Jetty по умолчанию — 8080, но я хочу изменить порт по умолчанию на другой порт (9999).

Я прочитал несколько руководств, и они сказали, что почти вся информация о конфигурации по умолчанию хранится в файле jetty.xml, этот файл находится в папке $JETTY_HOME/etc/. Затем измените свойство jetty.port на 9999. Однако, когда я открыл этот файл, я не смог найти свойство jetty.port внутри jetty.xml. В настоящее время я использую Jetty-9.2.1, а порт 8080.

Я нашел свойство jetty.port в файле jetty-http.xml. Несмотря на то, что я изменил порт на 8090 в файле jetty-http.xml, Jetty по-прежнему работает через порт 8080.

jetty.xml



















































false



























https






512
































true
5000






jetty-http.xml














































Мне также посоветовали использовать интеграционный тест, чтобы настроить Jetty на использование другого порта. Внутри проекта есть файл Integration-tests.properties. Может быть, решение состоит в том, чтобы установить jetty.port в 9999 внутри этого файла?

integration-tests.properties:

host = localhost
port = 9999


Подробнее здесь: https://stackoverflow.com/questions/246 ... fault-port