Возможно, для строки подключения к серверу установлено значение "server01.domain.local". Если вы измените его на «domain.local», вы больше не будете зависеть от «server01» в сети. Вместо этого вы будете использовать функцию Round Robin DNS Active Directory, чтобы получить список всех контроллеров домена и использовать тот, который находится в сети. (Я не думаю, что ваши администраторы перезагружают все контроллеры домена одновременно ...)
Также попробуйте последовательно запустить nslookup domain.local
в командной строке, чтобы увидеть изменение порядка.