Unloading monitors from the correlator
The correlator unloads a monitor in the following situations:
All of the monitor's instances have terminated.
An external request kills the monitor. This kills any instances of the monitor.
If the monitor defines an onunload() statement, the correlator executes it just before it unloads the monitor. You cannot spawn in an onunload() action.
