[ library(gap) | Reference Manual | Alphabetic Index ]
gap_shutdown
Shut down a GAP session
Description
   Shuts down the currently active GAP session if there is one.  With recent
   versions of ECLiPSe it is not normally necessary to call this explicitly;
   GAP will be shut down automatically before the ECLiPSe session ends.
   However, there may be circumstances where one wishes to force GAP to shut
   down before the session ends, and on older versions of ECLiPSe a manual
   shutdown is required in order to terminate the GAP process and clean up
   the named pipes used for communication.
See Also
gap_ensure_started / 0, gap_restart / 0, gap_running / 0