public override void FlushBuffer(byte[] b, int offset, int len)
{
try
{
_indexOutputFilesSummary.Increment(len);
if (_ms != null)
{
if (_ms.Capacity - _ms.Position - len >= 0)
{
_ms.Write(b, offset, len);
return;
}
// too big, copy the buffer to the file
_file = _fileCache.RentFileStream();
var position = _ms.Position;
_ms.Position = 0;
_ms.CopyTo(_file);
_file.Position = position;
_fileCache.ReturnMemoryStream(_ms);
_ms = null;
}
_file.Write(b, offset, len);
}
catch (IOException ioe) when(ioe.IsOutOfDiskSpaceException())
{
ThrowDiskFullException();
}
}
private void ConvertMemoryStreamToFileStream()
{
_file = _fileCache.RentFileStream();
var position = _ms.Position;
_ms.Position = 0;
_ms.CopyTo(_file);
_file.Position = position;
_fileCache.ReturnMemoryStream(_ms);
_ms = null;
}
