Deprecating port list

[Rainer Müller]

On 14.03.2009 9:15 Uhr, Neil wrote:
> Why not send "The following ports are currently installed:" to stderr?

Hm, stderr and stdout do not have to be synchron, I am not sure it is a
good idea to mix them for this purpose.

Recently I added a wrapper around isatty(3) which is already used in
port. It decides if the output is a tty or a pipe/file. I will look into
removing the header if the output is not a tty.

Rainer