I wouldn't mind a remove_empty_lines-iterator, but until then I prefer the usual manual discarding.
/ Peter Bortas
Previous text:
2002-12-30 15:16: Subject: stdin->line_iterator
To get that final iteration on "" is, on the other hand, seldom useful and often needing an extra removal of the final element. (Assuming there was actually a trailing newline too, of course.)
/ Johan Sundström (a hugging punishment!)