private static void SetOutput(string file) { Console.WriteLine ("setting output: " + file); output = StreamForFile (file); Console.SetOut (output); Console.SetError (output); }