ocean v6.1.0 (2021-04-20T01:38:04Z)
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.