/** @param r Reservation. */
 public void removeReservation(GridDhtPartitionsReservation r) {
   if (!reservations.remove(r))
     throw new IllegalStateException("Reservation was already removed.");
 }
Beispiel #2
0
 public void unregisterListener(ProcessStoreListener psl) {
   __log.debug("Unregistering listener " + psl);
   _listeners.remove(psl);
 }