chiark / gitweb /
Write warnings and errors to stderr if not on a terminal
authorKarl Hasselström <kha@treskal.com>
Wed, 29 Aug 2007 12:22:27 +0000 (14:22 +0200)
committerKarl Hasselström <kha@treskal.com>
Fri, 31 Aug 2007 06:54:26 +0000 (08:54 +0200)
Otherwise, they are suppressed along with the rest of the output. But
if stdout is a terminal, so that output is not suppressed, write
errors through the same Output object as info messages to get the
indentation etc. right.

Signed-off-by: Karl Hasselström <kha@treskal.com>

No differences found