> lang > close | ![]() |
| Documentation |
|
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. |