On 04/26/2011 02:38 PM, Stefan Hajnoczi wrote:
The simple backend additionally allows setting and flushing the output file. It also supports dumping the trace buffer.
I agree that neither of these would be a particularly interesting addition to the stderr backend.
Paolo
