--- a/stream.c Tue Oct 02 10:49:25 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,25 +0,0 @@ -/* - * stream.c - * - * Created on: 20.09.2011 - * Author: Mike - */ - -#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 -}