コード例 #1
0
  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();
  }
コード例 #2
0
 public void releaseLocalAgent(AID id) {
   // If the aquired agent was an image there is nothing to release (see FIXME above)
   super.releaseLocalAgent(id);
 }