internal void FinalizeBufferedOutput() { // flushes output, applies user defined output filter, and disables buffering: if (_bufferedOutput != null) _bufferedOutput.FlushAll(); // redirects sinks: IsOutputBuffered = false; Output.Flush(); }