private void CopyFileDoContentsToStdOut(FileSystemInfo file) { using (TextReader input = DetectEncodingAndOpenText(file.FullName)) { string str; while ((str = input.ReadLine()) != null && !IsUndoToken(str)) { output.WriteLine(str); } } }