flush method

Future<void> flush()

Flushes any pending writes to the file.

Implementation

Future<void> flush(
) async {
  final request = RequestFileFlush(
    file: handle,
  );
  final response = await client.invoke(request);
  switch (response) {
    case ResponseNone(): return;
    default: throw UnexpectedResponse();
  }
}