Datei - Zeiten: Erstellung, Änderung, Zugriff
|
Zur Live-Demonstration wird die
Datei datum_zeit.dat verwendet.
►
Falls sie nicht existiert, wird sie von dieser Webseite neu erzeugt.
►
In jedem Fall wird zur Änderung eine Text-Zeile (mit dem aktuellen Datum)
an die Datei angehängt. Die erste Text-Zeile enthält daher das
Erstellungsdatum, jede weitere Zeile ein Änderungsdatum.
►
Beim Öffnen dieser Webseite wird die Datei gelesen -
damit wird das Zugriffs-Datum auf die aktuelle Server-Zeit
gesetzt.
►
Am ↓ Ende dieser Webseite wird bei jedem Aufruf eine weitere Zeile
(das aktuelle Datum) als Änderung hinzugefügt.
|
$path = 'buffer/datum_zeit.dat';
Datei datum_zeit.dat existiert
Erste Zeile = 2012-05-20 09:33:12
Berechnung des Alters einer Datei:
Differenz der UNIX-Timestamps von Datei-Datumj und aktueller Uhrzeit in Sekunden.
Für die Test-Datei ist Alter = 23448
sec
|
|
■
Für jedes Verzeichnis (Ordner) und jede Datei werden vom Dateisystem einige
Datum & Zeit - Daten geführt, üblicherweise Erstellungszeit
(creation), letzte Änderung
(modification) und letzte Verwendung
(access). Allerdings scheint es schwierig,
die Erstellungszeit zu erhalten - diese sollten sie im Dateinamen oder
in der Datei selbst notieren, falls benötigt.
|
Die nachfolgend gezeigten PHP-Funktionen verwenden als Argument den Datei-Pfad,
↓ Funktion fstat() verwendet ein Datei-Handle.
|
Letzter Zugriff:
PHP-Funktion fileatime() liefert einen UNIX-Timestamp
des letzten Zugriffs (access) auf eine Datei.
Mit der
→ Datum und Zeit - Funktion strftime() wird
der Timestamp zu einem Standard
→ ISO-String decodiert. Der dabei verwendete
Format-String $fmt wird auch bei allen weiteren
Beispielen dieses Kapitels eingesetzt.
|
$at = fileatime($path);
clearstatcache();
$fmt = '%Y-%m-%d %T';
$as = strftime($fmt,$at);
Live- -PHP:
$at = 1337522640
$as = 2012-05-20 16:04:00
|
Letzte Änderung (inode change time):
PHP-Funktion filectime() liefert einen UNIX-Timestamp
der letzten Änderung einer Datei. Der Name deutet auf Erzeugung
(creation) hin, diese Funktion liefert jedoch normalerweise
nicht das Erzeugungsdatum, sondern das gleiche Ergebnis
wie filemtime
|
$ct = filectime($path);
clearstatcache();
$cs = strftime($fmt,$ct);
Live--PHP:
$ct = 1337521999
$cs = 2012-05-20 15:53:19
|
Letzte Änderung:
PHP-Funktion filemtime() liefert einen UNIX-Timestamp
der letzten Änderung (modification) einer Datei.
|
$mt = filemtime($path);
clearstatcache();
$ms = strftime($fmt,$mt);
Live--PHP:
$mt = 1337521999
$ms = 2012-05-20 15:53:19
|
|
Die ↓ PHP-Funktionen stat(),fstat() liefern Arrays
zur Datei-Information.
|
In den Elementen dieser Arrays sind auch die Datei-Zeit-Daten enthalten.
|
Änderung der Test-Datei:
Zur Demonstration wird eine Zeile mit dem aktuellen Datum hinzugefügt.
Damit wird eine 'Änderung' zum Zeitpunkt der Erstellung dieser Webseite gesetzt.
Bei Erreichen einer eingestellten maximalen Länge wird die Datei gelöscht.
♦ Details zu diesen Funktionen auf Seite
File-IO.
|
filesize($path) = 200 byte
Neuer Eintrag = 2012-05-20 16:04:00
|
Daten-Änderung
Mit der PHP-Funktion touch() können die Zeit-Daten
einer Datei beliebig geändert werden. Das Beispiel zeigt, wie ein
→
UNIX-Timestamp mit beliebigen Datum- und Zeit-Daten als Änderungs-Datum
einer Datei $path gesetzt wird.
Wenn kein Timestamp angegeben ist, dann wird die aktuelle Systemzeit verwendet.
Die Zugriffszeit der Datei wird in jedem Fall auf die aktuelle Zeit gesetzt.
|
$mt = mktime($hm,$mi,$ss,$mo,$dd,$yy);
touch($path,$mt);
|
|
♦ Details zu
Datum & Zeit @ PHP
|
PHP
Referrer, Caller und ähnliche Daten lassen sich vergleichsweise leicht
manipulieren. Man sollte die erhaltenen Daten daher vor Gebrauch säubern
und niemals ungeprüft für wichtige Zwecke verwenden.
