Ciao Maurizio,

non ho mai usato il comando file().

Il mio archivio di testo è di 10 Mbytes con migliaia di records e può essere molto più grande.

Come viene gestita la bufferizzazione? il comando file() carica tutto l'archivio in memoria? Me ne devo occupare io o la gestisce in automatico (mi sembra strano) il php?

Nel frattempo stavo studiando l'istruzione fgets che legge fino a fine riga. Ne sai qualcosa?

Grazie dei chiarimenti che vorrai darmi.

Maurizio