I now have a redundant server in my network. I wish to remove it from the

Looking at the Knowledgebase it seems that I simply down the redundant
server and then in Consoleone remove it from the tree and all references
to it.

The redundant server was running BorderManager and nothing else. (I now
have a new one in its place)

Thanks in advance

Bernard Mocatta