Re: buffer flushing?

[Andrew Haley <aph at cambridge dot redhat dot com>]

 > Adam Megacz wrote:
 > 
 > >java.io.OutputStream.flush() does nothing
 > >
 > >java.io.FileOutputStream.flush() is not defined
 > >
 > >Win32 buffers all non-console file descriptors. I need to ensure that
 > >FileDescriptor.sync() is called when FileOutputStream.flush() is
 > >called.
 > >
 > >What is the best way to deal with this?

java::io::FileDescriptor::write should not be buffering anything.
Buffering is done at the higher levels.

There's no need to contaminate any generic code with Win32 stuff; if
it's necessary to call flush() from FileDescriptor::write() to make it
work correctly, so be it.

Andrew.