Как обновить файл .property, сделав изменения эффективными без перезапуска сервера Jetty? - PullRequest
0 голосов
/ 26 июня 2019

В настоящее время мы перезапускаем сервер Jetty каждый раз, когда в файл .property вносятся изменения.

Есть ли способ сделать изменения эффективными, что сделано в файле .property без перезапуска серверов Jetty? Что-то вроде файла Обновить скрипт для достижения того же.

...