Re: [chuck-users] Chout flush

chout.flush() does the trick. cherr is flushed constantly, right? Andrew On Tue, Nov 24, 2009 at 7:04 AM, Hans Aberg wrote:

Is there a way to flush chout (and cherr) other than sending "\n"?

Hans

_______________________________________________ chuck-users mailing list chuck-users@lists.cs.princeton.edu https://lists.cs.princeton.edu/mailman/listinfo/chuck-users