whpd

Not sure if this is really what you're asking, but you could just swap IPs so that everything pointing to the old server now points to the new one. That, I feel, would be the easiest way to do it. Otherwise, you're looking at a very manual process. The agents might have some kind of registry key that you could change and…