Re: diff_tree_stdin

I presume you are talking about "line", not this_header[], since
you are talking about something whose length is already
calculated.

I was talking about this_header.  It gets slightly more than the length
of "line" which is whatever came in from stdin, subject to a 1000 char
limit.

Morten