next up previous contents
Next: The Work Area. Up: 7.2.3 Module Definition Previous: Module Initialization. Module Termination.

A module receives the request to terminate via its :exit method. The module itself can decide whether it will obey the request or not (depending on the users feedback etc.) and if it does, it has to notify this by raising a ready-for-exit event. This event will be monitored by the authority that requested a module's exit. Before it signals the event, however, it takes care for its own termination.

Rudi Strasser