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

Reply via email to