ocean v5.1.3 (2019-10-14T07:52:28Z)
Home
Dub
Repo
MappedFile.flush
ocean
io
device
FileMap
MappedFile
Flush dirty content out to the drive.
class
MappedFile
final
MappedFile
flush
(
)
Meta
Source
See Implementation
ocean
io
device
FileMap
MappedFile
constructors
this
functions
close
flush
length
map
path
resize
Flush dirty content out to the drive.