[ 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