shmop_close

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

shmop_closeFerme un bloc de mémoire partagée

Description

shmop_close ( resource $shmid ) : void

shmop_close() sert à fermer 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

Aucune valeur n'est retournée.

Historique

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

Exemples

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

<?php
shmop_close
($shm_id);
?>

Cet exemple ferme le bloc de mémoire partagée identifié par $shm_id.

Voir aussi

  • shmop_open() - Crée ou ouvre un bloc de mémoire partagée