On 07/03/12 20:30, Tobias Pankrath wrote: > Is it possible to redirect stdout in a way that all following calls to > writeln etc just write to /dev/null or something similar? stdout.open(outfilename, "wt"); artur