return;
}
Iterator it = servletTimers.values().iterator();
while (it.hasNext()) {
ServletTimerImpl timer = (ServletTimerImpl)it.next();
//by virtue of being in the cache it is considered to
//be not expired
if(timer.getId() != null
&& timer.isPersistent()
&& isServletTimerOlderThan(timer, repairStartTime)
&& timer.lockBackground()) {
try {
((HAServletTimer)timer).setReplicated(false);
((HAServletTimer)timer).setDirty(true, false);
saveServletTimer(timer);
} catch (IOException ex) {
_logger.log(Level.WARNING,
"during repair unable to save ServletTimer:id = " + timer.getId(),
ex);
} finally {
timer.unlockBackground();
}
}
}
}