Risolto grazie a Gianni di phpnews.it
Ecco il problema:

Sostituisci:

while ($rigafile = fgets($textfile) and $sab==0 )

con

while ($sab==0 and $rigafile = fgets($textfile))