[patch] PR python/12149 (stderr output directed to stdout)

[Tom Tromey]

>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes:

Phil> This patch addresses the bug in python/12149 where output from the Python
Phil> sys.stderr was being directed to stdout within GDB.  In this patch I
Phil> have updated gdb.write and flush to take a stream argument, and also
Phil> created a new class to deal with error output.

Phil> OK?

The code bits look good, thanks.

Tom