Manuel PHP
Précédent
Suivant
shm_detach() libère le segment de mémoire partagée identifié par shm_identifier et créé par sem_get().
N 'oubliez pas que cette mémoire partagée existe toujours sous Unix, et que les données sont toujours accessibles.
Précédent
Sommaire
Suivant
Niveau supérieur