write_to_disk


Description:

protected async void write_to_disk (string contents) throws Error

Internal method: Write contents to file on disk.

Parameters:

contents

Contents to write

Exceptions:

Error

if file cannot be written