DOC: server: explicit refcount interaction in "del server"

Add a paragraph in "del server" to highlight that a server instance may
still be kept for some time after command completion for internal
management. This does not prevent though to reuse its name or GUID for a
newly created instance.

diff --git a/doc/management.txt b/doc/management.txt
index 02780b98965dd9a20377b61b55e56620ca5947b8..0148b031b3b78f47eebefb71a903f30e4084f4fb 100644 (file)
--- a/doc/management.txt
+++ b/doc/management.txt
@@ -2273,6 +2273,13 @@ del server <backend>/<server>
   ensure that all active or idle connections are closed and that the command
   succeeds.
 
+  When the command succeeds, the server has been removed from all its attach
+  points and becomes invisible to any CLI interactions. Its name and GUID can
+  be reused immediately when creating new instances. The deleted instance may
+  still be preserved some time in the process memory for internal management
+  only until it is finally freed. In this state the server is guaranteed to
+  never handle any outside traffic anymore.
+
 disable agent <backend>/<server>
   Mark the auxiliary agent check as temporarily stopped.