Improve cleaning of the model (bug 23)

[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / src / main / java / org / argeo / jcr / ui / explorer / model / WorkspaceNode.java

diff --git a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/model/WorkspaceNode.java b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/model/WorkspaceNode.java
index 63c56349ae8d7e2badcbe873e357e33d92f4c0d6..ba118e14e8f02a3e1b46507d4bc3d716df26669c 100644 (file)
--- a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/model/WorkspaceNode.java
+++ b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/model/WorkspaceNode.java
@@ -16,7 +16,6 @@ import org.argeo.eclipse.ui.TreeParent;
  * keeps a reference to its parent {@link RepositoryNode}, to be able to
  * retrieve alias of the current used repository
  */
-
 public class WorkspaceNode extends TreeParent implements EventListener, UiNode {
        private Session session = null;
 
@@ -60,6 +59,13 @@ public class WorkspaceNode extends TreeParent implements EventListener, UiNode {
                }
        }
 
+       @Override
+       public synchronized void dispose() {
+               logout();
+               super.dispose();
+       }
+
+       /** Logouts the session, does not nothing if there is no live session. */
        public void logout() {
                try {
                        if (session != null && session.isLive()) {