Ritocchi vari ai sorgenti, commento di FifoReporter e trattazione di

[gapil.git] / listati / redir_stdout.c

    fclose(stdout);
    stdout = fopen("standard-output-file", "w");