write_real


Description:

public async void write_real (string contents) throws Error

Write contents to file on disk (sync buffer to file).

Creates backup if needed, writes to disk, and updates file metadata. This is used when the buffer already has the contents and we just need to sync it to the file. Unlike write(), this does not update the buffer contents.

Parameters:

contents

Contents to write

Exceptions:

Error

if file cannot be written