/END_WATCH = "hot-key-defintion"
Defines a hot-key sequence which when pressed by the watcher will
cause Peek/Spy to stop watching and exit back to the prompt.
The default value for the END_WATCH hot-key is taken from the
logical name WATCHER$END_WATCH, usually defined system-wide by
PEEK_DEFAULTS.COM.
An END_WATCH hot-key must be defined before Peek/Spy will begin
watching.
Example:
$ PEEK/END_WATCH="<CTRL-]>" USER1
or
$ DEFINE WATCHER$END_WATCH "<CTRL-]>"
$ PEEK USER1
In either case when the watcher presses Control-], the PEEK session
will be terminated.
(For information on the user being watched (with PEEK) also using
END_WATCH, see the top-level PEEK Subtopic: Commands ALLOW /END_WATCH.)
For a complete description of the syntax used for specifying hot-key
definitions, see the top-level PEEK Subtopic: Hot-Keys.