Поменялся адрес сервера Dr.Web.
Предварительно, за неделю до изменения адреса, на сервере Dr.Web в параметрах подключения был указан адрес нового сервера.
Рабочие станцие, которые были на тот момент в сети, получили новые настройки.
Несколько рабочих станций находились вне сети и настройки не получили.
В данной теме https://forum.drweb.com/index.php?showtopic=326623 был упомянут следующий способ: dwservice.exe -e адрес_нового_сервера
Он не работает - значение server по адресу HKEY_LOCAL_MACHINE\SOFTWARE\Doctor Web\Settings\Es\ не меняется.
Как быть?
Версия 13.