According to current behavior regarding deleting a port, its record remains in server doc automatically with a following steps.
1. Select a server doc on Admin client
2. Delete a port by doing "Setup Ports" in Server of Tools menu
A way of deleting a port manually is described in help, but even if doing it port record remains in server doc.
Requests/needs that the ability of deleting a port record in server doc automatically after deleting port.