 
 
 
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.
 
 
