Manuel PHP
Précédent |  | Suivant

# fileinode

(PHP 3 <= 3.0.18, PHP 4 >= 4.0.0)

fileinode -- Renvoie le numéro d'inode du fichier.

## Description

``int fileinode` (string filename)`

fileinode() renvoie le numéro d'inode du fichier `filename`, ou `FALSE` en cas d'erreur.

Le résultat de fileinode() est mis en cache. Reportez-vous à clearstatcache() pour plus de détails.

fileinode() ne fonctionne pas sur les fichiers distants. Les fichiers doivent être accessibles par le système de fichier du serveur.

> Note : fileinode() est inopérante sous Windows.

Précédent | Sommaire | Suivant
filegroup | Niveau supérieur | filemtime