Manuel PHP
Précédent |  | Suivant

# fileinode

(PHP 3, PHP 4 )

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