universe@16: /*
universe@16:  * stream.c
universe@16:  *
universe@16:  *  Created on: 20.09.2011
universe@16:  *      Author: beckermi
universe@16:  */
universe@16: 
universe@16: #include "stream.h"
universe@16: 
universe@16: void close_stdout() {
universe@16: #ifdef _WIN32
universe@16:   _STREAM_STDOUT = dup(STDOUT_FILENO);
universe@16: #endif
universe@16:   freopen("/dev/null", "w", stdout);
universe@16: }
universe@16: 
universe@16: void reopen_stdout() {
universe@16: #ifdef _WIN32
universe@16:   close(STDOUT_FILENO);
universe@16:   fdopen(dup(_STREAM_STDOUT), "wa");
universe@16:   close(_STREAM_STDOUT);
universe@16: #else
universe@16:   freopen("/dev/stdout", "w", stdout);
universe@16: #endif
universe@16: }