private void CopyFileUndoContentsToStdOut(FileSystemInfo file)
{
using (TextReader input = DetectEncodingAndOpenText(file.FullName))
{
string str;
while ((str = input.ReadLine()) != null)
{
if (IsUndoToken(str))
{
// Just keep looping until we find the magic "--//@UNDO"
break;
}
}
while ((str = input.ReadLine()) != null)
{
output.WriteLine(str);
}
}
}