Смена IP-адреса/доменного имени платформы

На основном сервере перейти в папку с дистрибутивом платформы и перезапустить скрипт run.sh

./run.sh -p <address> --restart

-p <address> здесь <address> – это адрес сервера, который будет использоваться пользователями платформы для доступа через браузер, значение параметра может быть как IP-адресом, так и доменным именем сервера с установленной платформой, в зависимости от настроек сетевого окружения.