In the article
I complained bitterly about eof()
and strongly advised staying away from it. But it looks like
this is one of the few times when eof() is the
Right Thing.
I guess I was just being too doctrinaire. Well, that'll give
me
something interesting to say in the followup article.