Update license headers

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

diff --git a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
index 414bd1a7b123974e22fb92a5c523c861d6d12ad4..cee62f2fa4bb81c00cd12df40ee6310b993553fa 100644 (file)
--- a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
+++ b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2007-2012 Mathieu Baudier
+ * Copyright (C) 2007-2012 Argeo GmbH
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -47,10 +47,11 @@ public class JcrUiUtils {
                                doRefresh = true;
                        else if (element instanceof RepositoryNode) {
                                RepositoryNode rn = (RepositoryNode) element;
-                               String[] wkpNames = rn.getDefaultSession().getWorkspace()
-                                               .getAccessibleWorkspaceNames();
-                               if (element.getChildren().length != wkpNames.length)
-                                       doRefresh = true;
+                               if (rn.isConnected()) {
+                                       String[] wkpNames = rn.getAccessibleWorkspaceNames();
+                                       if (element.getChildren().length != wkpNames.length)
+                                               doRefresh = true;
+                               }
                        } else if (element instanceof RepositoriesNode) {
                                RepositoriesNode rn = (RepositoriesNode) element;
                                if (element.getChildren().length != rn.getRepositoryRegister()