public void WriteFile (string filename, bool readIntoMemory)
{
if (filename == null)
throw new ArgumentNullException ("filename");
string fn = GetNormalizedFileName (filename);
if (readIntoMemory){
using (FileStream fs = File.OpenRead (fn))
WriteFile (fs, 0, fs.Length);
} else {
FileInfo fi = new FileInfo (fn);
output_stream.WriteFile (fn, 0, fi.Length);
}
if (buffer)
return;
output_stream.ApplyFilter (false);
Flush ();
}