5.3 Shutting down the ECLiPSe Subsystem
The embedded ECLiPSe is terminated when quitting from the Tcl/Tk
application. The following Tcl command should be called just before the
application is terminated to allow ECLiPSe to shutdown:
-
ec_cleanup
Shutdown the ECLiPSe engine.