ocean v6.2.0 (2021-12-09T10:56:40Z)
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.