Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.73 ">
Manuel PHP
PrécédentSuivant

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édentSommaireSuivant
filegroupNiveau supérieurfilemtime