X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.document.server%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fserver%2FDocumentHistoryListener.java;h=2fcb17c5c6a3cc877fbe024f6be166da172e8bda;hp=ef764bddc48870346b96b007c07e45acf40dedc0;hb=ae2e31aa5eb35410e5b2ce222d42421154f3fecc;hpb=a5e69e900dcfcf54a9f39ab754f20467d99b64d3 diff --git a/bundles/org.simantics.document.server/src/org/simantics/document/server/DocumentHistoryListener.java b/bundles/org.simantics.document.server/src/org/simantics/document/server/DocumentHistoryListener.java index ef764bddc..2fcb17c5c 100644 --- a/bundles/org.simantics.document.server/src/org/simantics/document/server/DocumentHistoryListener.java +++ b/bundles/org.simantics.document.server/src/org/simantics/document/server/DocumentHistoryListener.java @@ -1,53 +1,53 @@ -package org.simantics.document.server; - -import java.util.List; - -import org.simantics.db.procedure.Listener; -import org.slf4j.Logger; -import org.slf4j.LoggerFactory; - -public class DocumentHistoryListener implements Listener> { - private static final Logger LOGGER = LoggerFactory.getLogger(DocumentHistoryListener.class); - - final private DocumentHistory history; - - private boolean disposed = false; - - DocumentHistoryListener(DocumentHistory history) { - this.history = history; - } - - @Override - public void execute(List result) { - - synchronized(history) { - - history.refresh(result); - if(!history.hasListeners()) { - history.removeUpdater(); - disposed = true; - } - - } - - } - - @Override - public void exception(Throwable t) { - LOGGER.warn("DocumentHistoryListener received an exception.", t); - } - - @Override - public boolean isDisposed() { - if(!disposed) { - synchronized(history) { - if(!history.hasListeners()) { - history.removeUpdater(); - disposed = true; - } - } - } - return disposed; - } - -} +package org.simantics.document.server; + +import java.util.List; + +import org.simantics.db.procedure.Listener; +import org.slf4j.Logger; +import org.slf4j.LoggerFactory; + +public class DocumentHistoryListener implements Listener> { + private static final Logger LOGGER = LoggerFactory.getLogger(DocumentHistoryListener.class); + + final private DocumentHistory history; + + private boolean disposed = false; + + DocumentHistoryListener(DocumentHistory history) { + this.history = history; + } + + @Override + public void execute(List result) { + + synchronized(history) { + + history.refresh(result); + if(!history.hasListeners()) { + history.removeUpdater(); + disposed = true; + } + + } + + } + + @Override + public void exception(Throwable t) { + LOGGER.warn("DocumentHistoryListener received an exception.", t); + } + + @Override + public boolean isDisposed() { + if(!disposed) { + synchronized(history) { + if(!history.hasListeners()) { + history.removeUpdater(); + disposed = true; + } + } + } + return disposed; + } + +}