(PHP 4, PHP 5, PHP 7)
shm_detach — Libère un segment de mémoire partagée
$shm_identifier
)
shm_detach() libère le segment de
mémoire partagée identifié par
shm_identifier et créé par
shm_attach(). N'oubliez pas que cette mémoire
partagée existe toujours sous Unix, et que les
données sont toujours accessibles.
shm_identifierUne ressource représentant la mémoire partagée, telle que retournée par la fonction shm_attach()
shm_detach() retourne toujours TRUE.