Change of public DNS host name for Domino server

If I need to change the public host name for a Domino server (i.e… server1.domain1.com to server1.domain2.com) is there a way to change the users’ connection documents? Policy maybe?

Thanks.

Subject: Agent…

The only way that I’ve ever found is to create an agent - either a ‘button’ agent sent in an email, or as an agent stored in their mail template.

Sample- www-10.lotus.com/ldd/nd85forum.nsf/5f27803bba85d8e285256bf10054620d/b71537598979072685257a0700462510?OpenDocument

Subject: Thanks

Probably won’t work in this case as there’s too much variation in the existing connection settings, but good to know about.