doc: Document userplex' use of setsid().

diff --git a/doc/userplex.doc b/doc/userplex.doc
index 1269073b79f8e121765ab9bf64f13d837729990d..db59dd90ceacdc62333c80f38d11ad0570bf2b14 100644 (file)
--- a/doc/userplex.doc
+++ b/doc/userplex.doc
@@ -99,6 +99,8 @@ LOGIN
 
 As part of the login procedure, *userplex* does the following:
 
+ * A new session is entered (with *setsid*(2)).
+
  * The UID, GID and auxiliary groups of the new process are changed
    accordingly. For testing purposes, *userplex* may be running as a
    user other than root, and the child process will, then, simply exit