On Tue, Jan 13, 2009 at 05:34:06AM +0800, John Lepikhin wrote:
> 
> > > I'm not sure this is the same issue. Look at this test code:
> > For reasons I don't fully understand, this code doesn't seem to do
> > anything.  A print statement after the Unix.openfile is never printed.
> 
> Possibly you use print_string or something like this. Such output is
> cached. You should either flush stdout or use print_endline.

Yeah, I flushed the output and I used /dev/zero - I still see no
messages.

Rich.

-- 
Richard Jones
Red Hat