diff -r 9a262e046ab8 -r bc9a0fefd892 stream.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/stream.c	Tue Sep 20 15:19:28 2011 +0200
@@ -0,0 +1,25 @@
+/*
+ * stream.c
+ *
+ *  Created on: 20.09.2011
+ *      Author: beckermi
+ */
+
+#include "stream.h"
+
+void close_stdout() {
+#ifdef _WIN32
+  _STREAM_STDOUT = dup(STDOUT_FILENO);
+#endif
+  freopen("/dev/null", "w", stdout);
+}
+
+void reopen_stdout() {
+#ifdef _WIN32
+  close(STDOUT_FILENO);
+  fdopen(dup(_STREAM_STDOUT), "wa");
+  close(_STREAM_STDOUT);
+#else
+  freopen("/dev/stdout", "w", stdout);
+#endif
+}