Hi Peter, I just saw that you updated your ANSI write() patch... you might not want to fflush(stdout) unilaterally; sometimes it is stderr that is to be written to, no?
Ciao, Dscho
Hi Peter, I just saw that you updated your ANSI write() patch... you might not want to fflush(stdout) unilaterally; sometimes it is stderr that is to be written to, no?
Ciao, Dscho