Der Martin: Exe-Datei aufrufen

Beitrag lesen

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:(