Порт 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