PHP/Network/stream get line

Counting records in a file with stream_get_line()

   <source lang="html4strict">

<?php $records = 0; $record_separator = "--end--"; if ($fh = fopen("database.txt","r")) {

   $done = false;
   while (! $done) {
       $s = stream_get_line($fh, 65536, $record_separator);
       if (feof($fh)) {
           $done = true;
       } else {
           $records++;
       }
 }

} print $records; ?>

 </source>