-package org.simantics.document.server;\r
-\r
-import java.util.List;\r
-\r
-import org.simantics.db.procedure.Listener;\r
-import org.slf4j.Logger;\r
-import org.slf4j.LoggerFactory;\r
-\r
-public class DocumentHistoryListener implements Listener<List<JSONObject>> {\r
- private static final Logger LOGGER = LoggerFactory.getLogger(DocumentHistoryListener.class);\r
-\r
- final private DocumentHistory history;\r
- \r
- private boolean disposed = false;\r
-\r
- DocumentHistoryListener(DocumentHistory history) {\r
- this.history = history;\r
- }\r
-\r
- @Override\r
- public void execute(List<JSONObject> result) {\r
- \r
- synchronized(history) {\r
-\r
- history.refresh(result);\r
- if(!history.hasListeners()) {\r
- history.removeUpdater();\r
- disposed = true;\r
- }\r
- \r
- }\r
- \r
- }\r
-\r
- @Override\r
- public void exception(Throwable t) {\r
- LOGGER.warn("DocumentHistoryListener received an exception.", t);\r
- }\r
- \r
- @Override\r
- public boolean isDisposed() {\r
- if(!disposed) {\r
- synchronized(history) {\r
- if(!history.hasListeners()) {\r
- history.removeUpdater();\r
- disposed = true;\r
- }\r
- }\r
- }\r
- return disposed;\r
- }\r
-\r
-}\r
+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<List<JSONObject>> {
+ 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<JSONObject> 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;
+ }
+
+}