Write_EOF

open fun Write_EOF()

Writes an EOF marker into the file.

Throws

any kind of IO error