Next: 7.2.3.0.5 The Work Area.
Up: 7.2.3 Module Definition
Previous: 7.2.3.0.3 Module Initialization.
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
1999-05-27