public void shutDown() {
// Avoid two parallel shut-downs
synchronized (this) {
if (terminating) {
return;
} else {
terminating = true;
}
}
// Forward the exit command to the FrontEnd
try {
myFrontEnd.exit(false);
} catch (IMTPException imtpe) {
// The FrontEnd is disconnected. Force the shutdown of the connection
myConnectionManager.shutdown();
}
// "Kill" all agent images
killAgentImages();
if (theBEManager != null) {
theBEManager.deregister(myNodeDescriptor);
}
super.shutDown();
}
public void releaseLocalAgent(AID id) {
// If the aquired agent was an image there is nothing to release (see FIXME above)
super.releaseLocalAgent(id);
}
