File.close

void close()

Explicitly closes the file handle.

This is called automatically by the destructor, but can be called manually to close the file early.