ADMINISTERING
About this task
To delete a server name, you must minimally have an Author with Delete documents role and the ServerModifier privilege, or Editor access to the Domino Directory.
Procedure
1. From the Domino Administrator, click the Configuration tab.
2. Click Server -> All Server Documents.
3. Select the server name you are deleting and click Delete Server.
4. For the check box Delete servers from Domino Directory immediately:
Related concepts The Administration Process Managing servers