shmop_delete
(PHP 4 >= 4.0.4, PHP 5, PHP 7, PHP 8)
shmop_delete — Détruit un bloc de mémoire partagée
Description
shmop_delete() marque un bloc de mémoire partagée pour
suppression. Le bloc n'est détruit que lorsque tous les processus s'en sont
détachés.
Liste de paramètres
shmop
-
La ressource de mémoire partagée créée par
shmop_open().
Valeurs de retour
Cette fonction retourne true en cas de succès ou false si une erreur survient.
Erreurs / Exceptions
Si le bloc ne peut pas être marqué pour suppression, par exemple parce que
l'utilisateur courant n'en est pas propriétaire, un
E_WARNING est émis.
Exemples
Exemple #1 Effacement d'un bloc de mémoire partagée
<?php
shmop_delete($shm_id);
?>
Cet exemple efface le bloc de mémoire partagée
identifié par $shm_id.