shmop_delete

(PHP 4 >= 4.0.4, PHP 5, PHP 7)

shmop_deleteDétruit un bloc de mémoire partagée

Description

shmop_delete ( resource $shmid ) : bool

shmop_delete() sert à détruire un bloc de mémoire partagée.

Liste de paramètres

shmid

La ressource de mémoire partagée créé par shmop_open().

Valeurs de retour

Cette fonction retourne TRUE en cas de succès ou FALSE si une erreur survient.

Historique

Version Description
7.0.0 Le type de shmid a été modifié de int en resource.

Exemples

Exemple #1 Effacement d'un bloc de mémoire partagée

<?php
shmop_delete
($shm_id);
?>

Ce exemple efface le bloc de mémoire partagée identifié par $shm_id.