Next: terminateUser()
Up: Extending the basic Agent
Previous: startUser()
  Contents
This method is called whenever the Agent is stopped from working. This can be
called before moving this Agent or when pausing an Agent. One should write here
the code to put the Agent into a clean state to be serialized. If the Agent
is processing a method which needs a lot time to finish, this method should
be able to stop that method. You can to this by using boolean variable which
are watched in the method and let it exit when the state changed.
Thomas Letsch
2001-02-21