fix bug 142

[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 ad327f09853feb07773be9bb27c76dfde6aed4f8..ca32113ed52f523c544c7a897aff73b3ec720e5a 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
@@ -53,10 +53,16 @@ public class JcrUiUtils {
                                                doRefresh = true;
                                }
                        } else if (element instanceof RepositoriesElem) {
-                               RepositoriesElem rn = (RepositoriesElem) element;
-                               if (element.getChildren().length != rn.getRepositoryRegister()
-                                               .getRepositories().size())
-                                       doRefresh = true;
+                               doRefresh = true;
+                               // Always force refresh for RepositoriesElem : the condition
+                               // below does not take remote repository into account and it is
+                               // not trivial to do so.
+
+                               // RepositoriesElem rn = (RepositoriesElem) element;
+                               // if (element.getChildren().length !=
+                               // rn.getRepositoryRegister()
+                               // .getRepositories().size())
+                               // doRefresh = true;
                        }
                        if (doRefresh) {
                                element.clearChildren();