586587588589590591592593594595596
*/ synchronized void haltBookieHandles(LedgerHandle lh, ArrayList<BookieHandle> bookies){ while(bookies.size() > 0){ BookieHandle bh = bookies.remove(0); if(bh.halt(lh) <= 0) bhMap.remove(bh.addr); } } /**