On Tue, Nov 18, 2008 at 10:55 PM, Mark Miller <[EMAIL PROTECTED]> wrote:
> Does waitFlush do anything now? I only see it being set if eclipse is not
> missing a reference...

Not currently.  The idea was that if waitFlush== false that the call
would be totally asynchronous and return immediately.  If
waitFlush==true, then the call would return only after everything was
flushed to stable storage (which is always the case now).

-Yonik

p.s. late replies since I'm getting back from a week of travel.

Reply via email to