buffer flushing?

Tue May 28 06:24:00 GMT 2002

 > 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.