private static void Win32HardFlush(System.IO.FileStream stream) { if (0 == FlushFileBuffers(stream.Handle)) { Marshal.ThrowExceptionForHR(Marshal.GetHRForLastWin32Error()); } }