Unerklärliches Problem mit Verarbeiten eingelesener Textdatei

[Adam Antidot]

Nachtrag:

   if (!!@filemtime($datei))
   {
      if (0 != filesize($datei))
         return file_get_contents($datei);
      else
         return 0;
   }
   else
      return -1;
}

Es ist unnötig, den Fall "Leere Datei" separat zu behandeln. Ist die Datei leer, kann die Funktion einen leeren Text zurückgeben. Es entfällt die Prüfung der Dateigröße und der etwas unlogische Rückgabewert -1 für den Dateifehler (-1 entspricht true, ein Fehler sollte eher false, 0, null sein).

Die Prüfung im Hauptteil ändert sich wie folgt:

   $inhalt = dateiEinlesen($seite);

   if ($inhalt !== false) // Datei wurde gefunden
   {
      if ($inhalt !== "") // Datei ist nicht leer
      {
         $datensaetze = explode("[ENDE]", $inhalt);