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

Reply via email to