shm_detach

(PHP 3>= 3.0.6, 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.