/** Delete subscriber */
public boolean deregister(Subscription sub) throws FailureException {
for (Subscriber subs : subscribers) {
if (subs.getSub().equals(sub)) {
subscribers.remove(new Subscriber(subs.getSub(), subs.getType(), subs.getDate()));
}
}
//
System.out.println(
"Agent "
+ buildingcs.getAID().getName()
+ " deregistered the agent "
+ sub.getMessage().getSender().getName());
return false;
}
