17721773177417751776177717781779178017811782
myOpenFile.checkWritable(runtime); Stream writeStream = myOpenFile.getWriteStream(); writeStream.fflush(); writeStream.sync(); } catch (InvalidValueException ex) { throw runtime.newErrnoEINVALError(); } catch (IOException e) {
439440441442443444445446447448449
} if (origFile.getPipeStream() != null) { origFile.getPipeStream().fflush(); } else if (origFile.isWritable()) { origStream.fflush(); } if (selfFile.isWritable()) { selfFile.getWriteStreamSafe().fflush(); }
18561857185818591860186118621863186418651866