RELEASE-FILE

@RELEASE-FILE This command is used to release a previously reserved file from the current terminal. is the name of a peripheral device, for example LINE-PRINTER, or the name of a directory file.

Related commands
@RESERVE-FILE