Function WindowsFile.flush

Implementation-specific method. Usually it writes any unwritten data from output buffer

override void flush();