Ejemplo n.º 1
0
 // Handles the messages associated with the take down of an agent, and deregisters the service on its behalf
 public static void DeregisterServiceOnTakeDown(Agent myAgent)
 {
     DFService.deregister(myAgent);
     MessageBox.Show(
         "Agent " + myAgent.getLocalName() +
         " was taken down.\r\nAn unhandled exception probably occured.");
 }