private void Flush() { while (!_buffer.IsEmpty()) { _writer.WriteLine(_buffer.Take()); } _writer.Flush(); }