shm_detach

(3.0.6 - 3.0.18 only, PHP 4 >= 4.0.0)

shm_detach -- Libère un segment de mémoire partagée.

Description

resource shm_detach (int shm_identifier)

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.