196197198199200201202203204205206
if (!netDead.containsKey(p)) { // not a good way to do it.. but how.. ? logger.info(p.getName() + " is net dead.."); p.addStatus(NET_DEAD_STATUS); } netDead.increment(p); } } } public boolean isRunning() {
194195196197198199200201202203204