Re: help exit

[Ethan M. <merritt@u.washington.edu>]

On Thursday 23 June 2005 07:44 am, Petr Mikulik wrote:
> I propose this text:
> 
> 
>   The commands `exit` and `quit`, as well as the END-OF-FILE character
>   (usually  Ctrl-D) terminate input from the current input stream: terminal
>   session,  pipe, and file input (pipe).
> 
>   If input streams are nested (inherited `load` scripts), then reading will
>   continue in the parent stream. When the top level stream is closed, the
>   program itself will exit.
> 
>   See "help batch/interactive" for more details.

Looks OK to me.

 
>   Each of these commands will clear the output device (as does the `clear`
>   command) before exiting. 
> BUT: Is the last point right??? Definitely not for -persist option!

I see nowhere in the code that calls clear_command() except for an
explicit `clear` from the command line.  So I think this is not right.


-- 
Ethan A Merritt       merritt@u.washington.edu
Biomolecular Structure Center
Mailstop 357742
University of Washington, Seattle, WA 98195