Disable buffering on stdout. (fixes #114)

sorear · Apr 15, 2012 · 1b64073 · 1b64073
1 parent a0c3f43
commit 1b64073
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/Builtins.cs b/lib/Builtins.cs
@@ -2864,7 +2864,9 @@ public class Blackhole : Variable {
         new StreamWriter(Console.OpenStandardOutput(), Console.OutputEncoding);
     [TrueGlobal] internal static StreamWriter stderr =
         new StreamWriter(Console.OpenStandardError(), Console.OutputEncoding);
-    public static System.IO.TextWriter twriter_stdout() { return stdout; }
+    public static System.IO.TextWriter twriter_stdout() {
+        stdout.AutoFlush = true; return stdout;
+    }
 
     public static System.IO.TextWriter twriter_stderr() {
         stderr.AutoFlush = true; return stderr;