Hallo,
$handle = fopen($DiffDateiPfad, 'w');
fclose($handle); // Leere Datei erstellen
Das geht einfacher mit
file_put_contents($DiffDateiPfad, "");
und noch einfacher mit
touch($DiffDateiPfad);
Vermutung: Datei ist noch nicht geschlossen, wenn das sizeof durchgeführt wird.
Das allein ist nicht der Knackpunkt. PHP versucht, File-Operationen zu "optimieren", indem es den Zustand bestimmter Dateieigenschaften speichert. Normalerweise ist das kein Problem; falls sich aber Eigenschaften von Dateien während des Scriptablaufs ändern und dann erneut abgefragt werden, bekommt man "kalten Kaffee".
Wie kann ich dies ändern?
Wahrscheinlich mit clearstatcache().
Ciao,
Martin
--
Der Sinn einer Behörde besteht in ihrer Existenz.
(alte Beamtenweisheit)
Selfcode: fo:) ch:{ rl:| br:< n4:( ie:| mo:| va:) de:] zu:) fl:{ ss:) ls:µ js:(
Der Sinn einer Behörde besteht in ihrer Existenz.
(alte Beamtenweisheit)
Selfcode: fo:) ch:{ rl:| br:< n4:( ie:| mo:| va:) de:] zu:) fl:{ ss:) ls:µ js:(