in aws-crt/CRT.cs [34:52]
public static void CopyStream(Stream source, Stream dest, int destSize)
{
byte[] buffer = new byte[4096];
int copied = 0;
int maximumRead = buffer.Length;
if (destSize > 0) {
maximumRead = Math.Min(maximumRead, destSize);
}
int read;
while ((read = source.Read(buffer, 0, maximumRead)) > 0)
{
dest.Write(buffer, 0, read);
copied += read;
if (destSize > 0) {
maximumRead = Math.Min(destSize - copied, buffer.Length);
}
}
}