X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=server%2Fplugins%2Forg.argeo.jcr.ui.explorer%2Fsrc%2Fmain%2Fjava%2Forg%2Fargeo%2Fjcr%2Fui%2Fexplorer%2Fmodel%2FWorkspaceNode.java;h=ba118e14e8f02a3e1b46507d4bc3d716df26669c;hb=d24fe8d5ee68544ce3d6300ac31a0c3cb8193aba;hp=63c56349ae8d7e2badcbe873e357e33d92f4c0d6;hpb=f44eec19eacbae6f6642363369f414acba69f262;p=lgpl%2Fargeo-commons.git

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 63c56349a..ba118e14e 100644
--- 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()) {