Некорректный deploy приложения, если изменить Tomcat ports в Cuba project properties

Вопросы и проблемы
#1

Обстановка : Cuba Platforn v 7.2.11
Действия :

  1. Меняю Tomcat ports, напр. HTTP port: 8082, AJP port: 8011, Shutdown port: 8007, Debug port: 8789
  2. Run (Shift-F10).
  3. Проект деплоится корректно, но не запускается (В консоли бесконечно висит Starting the server...).

Проблема: Файл /deploy/tomcat/conf/server.xml содержит значения портов “по умолчанию” в тегах :

  1. <Server port="8005" shutdown="SHUTDOWN">
  2. <Connector port="8080" protocol="HTTP/1.1"
            connectionTimeout="20000"
            redirectPort="8443" />

Костыль: После изменения этих значений в файле /deploy/tomcat/conf/server.xml согласно п.1. приложение запускается (Server started at http://localhost:8082/...).

Вопрос: Это проблема у меня (может чет не то делаю) или платформа не отрабатывает?

#5

Спасибо, что сообщили о проблеме, мы завели тикет в Youtrack