>
lang
>
close
Previous
Next
Edit
Rename
Undo
Refresh
Search
Administration
Documentation
History
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.
See also
Stream & Input/Output functions