shmop_close

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

shmop_close — Ferme un bloc de mémoire partagée

void shmop_close ( int $shmid )

shmop_close() sert à fermer un bloc de mémoire partagée.

Aucune valeur n'est retournée.

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.