719720721722723724725726727728729
ChangesLogIterator cli = changesLog.getLogIterator(); while (cli.hasNextLog()) { if (cli.nextLog().getEventType() == ExtendedEvent.LOCK) cli.removeLog(); } saveChangesLog(dataManager, changesLog); } }
860861862863864865866867868869870
724725726727728729730731732733734
180181182183184185186187188189190
ChangesLogIterator cli = changesLog.getLogIterator(); while (cli.hasNextLog()) { if (cli.nextLog().getEventType() == ExtendedEvent.LOCK) cli.removeLog(); } saveChangesLog(changesLog); } }