10.0;eef (edit_end_of_file) *DM*, revision 1.0, 87/12/23
eef (edit_end_of_file) insert end-of-file mark
usage: eef
DESCRIPTION
The eef command inserts a stream end-of-file mark (EOF) in the pad. If
the line containing the cursor is empty, the EOF is written on that line.
Otherwise, the EOF is inserted following the current line.
It is a common (although not universal) convention for programs to
terminate execution and return to the process that called them when they
receive an EOF on their standard input stream. The command shell is such
a program. When the top-level program in a process returns, the process
stops and all its streams are closed. The DM then closes the shell's
process input pad and window, and closes the transcript pad. Whether the
transcript window also disappears depends on the setting of its auto-
close mode. If auto-close is disabled (the default condition), you must
manually delete any windows associated with the closed transcript pad by
using the DM command wc -q.