in reply to Re: How to flush output to the console?
in thread How to flush output to the console?

there is also less cryptic command:

autoflush STDOUT 1;

But I'm not completely sure whether autoflush is pretty much the same as $|

tomas