CLOSE

CLOSE [ # ] Stream

Closes an opened file or any other stream.

This instruction never fails.

If you have opened a Process stream, then closing it actually closes its standard input, as if you type CTRL+D in a terminal.

Closing a string stream

String = CLOSE [ # ] StringStream

Since 3.5

Closing a string stream returns the internal string buffer of the stream.

See also