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.
Copyright © 2013
Software AG, Darmstadt, Germany and/or Software AG USA Inc., Reston, VA, USA, and/or Terracotta Inc., San Francisco, CA, USA, and/or Software AG (Canada) Inc., Cambridge, Ontario, Canada, and/or, Software AG (UK) Ltd., Derby, United Kingdom, and/or Software A.G. (Israel) Ltd., Or-Yehuda, Israel and/or their licensors.