COMMAND NAME
	quit -- to exit ErrorDB 
SYNOPSIS
	quit
DESCRIPTION - USAGE

Use the quit command to exit ErrorDB.   Typing control-D will exit ErrorDB 
also.  Using the quit command has an advantage over using control-D.  ErrorDB
keeps track of whether the current error information structure has been
saved since last changed.  If it has not, ErrorDB will inform the user and
request user's confirmation to exit.
