Correction du man de shmctl/shmget

[prgasp77]

Bonjour à tous,
une fonctionnalité importante des segments de mémoire partagée n'est pas documentée. Comment contacter les rédacteurs du man de shmctl ?

La fonctionnalité en question est la suivante (j'ai mis en italique ce que je propose d'ajouter) :

IPC_RMID
permet de considérer un segment comme prêt pour la destruction. Il sera détruit effectivement après le dernier détachement (quand le membre shm_nattch de la structure shmid_ds associée vaudra zéro.) L'appelant doit être le créateur du segment, son propriétaire, ou le Super-User. Durant la période suivant la demande de suppression et précédant la suppression effective du segment, celui-ci est considéré comme privé (clé valant IPC_PRICVATE) ce qui interdit tout processus non propriétaire de s'y attacher.