Removed useless FIXME. Clarified various error messages appearing when an agent was not found. Completely redesigned platform shutdown procedure. Now it works like this:   - Remove front end container from container list.   - Shutdown all other container.   - Kill all non system agents on front end container.   - Kill default DF.   - Kill ACC.   - Kill AMS.   - Disconnect platform IIOP server.
Removed useless FIXME.
Clarified various error messages appearing when an agent was not
found.
Completely redesigned platform shutdown procedure. Now it works like
this:
  - Remove front end container from container list.
  - Shutdown all other container.
  - Kill all non system agents on front end container.
  - Kill default DF.
  - Kill ACC.
  - Kill AMS.
  - Disconnect platform IIOP server.

Fixed a nasty deadlock problem: now AMSKillContainer spawns a separate
thread calling RMI method AgentContainer.exit(), so the AMS is free to
answer to 'deregister' messages from about-to-die agents.


ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror