HOME GUIDE OPERATIONS DOCS ERRORS FORMATS INSTALL NEW TIPS WEB SITES

EX - EXit

(12/31/93)

PURPOSE

This command, like 'EN', allows the user to terminate SPIDER; however, it does not delete the LOG file. A new name for the LOG file must be specified. The full name of the LOG file is LOG.<PRJ>

SEE ALSO

EN [end Spider operation]
EN D [end and delete Results file]

USAGE

.OPERATION: EX

.NEW NAME: B06
[Enter the new name for the LOG file.]

.PRINTOUT (Y/N): N
[Enter whether or not printout is desired.]

NOTES

  1. EXIT is an interactive only operation, since there is no LOG file in the batch mode. If it is attempted in the batch mode, SPIDER will assume the user was attempting to end, and print out an appropriate message in the results file.

  2. 'EX' is useful for using the LOG file as a future batch file which can be edited, or for keeping the LOG file as a record of the session.

  3. For use as a batch file, the new LOG file name must be of the form B<MN>, where MN is a two-digit number.

SUBROUTINES

ENDIT

CALLER

SPIDER

© Copyright Notice /       Enquiries: spider@wadsworth.org